@第{zbMATH06600730条，作者={伦贝里，安捷}，标题={分支时间的转换语义}，FJournal={逻辑、语言和信息杂志}，日志={J.逻辑语言信息}，ISSN={0925-8531}，体积={25}，数字={1}，页码={77--108}，年份={2016年}，语言={英语}，DOI＝{10.1007/s10849-015-9231-6}，关键词={03B44}，zbMATH={6600730}，Zbl={1396.03027}}