@文章{zbMATH06743965，作者={库普夫曼，奥尔纳和瓦迪，莫舍Y.}，标题={从线性时间到分支时间}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={6}，数字={2}，页码={273--294}，年份={2005}，语言={英语}，DOI={10.1145/1055686.1055689}，关键词={68Q60,03B44,03B45}，zbMATH={6743965}，Zbl={1367.68195}}