@第{zbMATH03896284条,作者={Milne,George J.},标题={{CIRCAL}和通信、并发和时间的表示},FJournal={ACM编程语言和系统事务},日志={ACM Trans.Program.Lang.Syst.},ISSN={0164-0925},体积={7},页码={270--298},年份={1985},语言={英语},DOI={10.1145/33183322},关键词={68N25},URL={www.acm.org/pubs/contents/journals/toplas/1985-7/},zbMATH={38996284},Zbl={0562.68017}}