Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 分布式系统的可观察行为:并发对象的组件推理。 (英语) Zbl 1247.68184号 J.日志。代数。程序。 81,第3期,227-256(2012).MSC公司:68问题85 68号30 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人,J.Log。代数。程序。81、3号、227--256(2012;Zbl 1247.68184) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 懒惰的行为子类型。 (英语) Zbl 1204.68072号 J.日志。代数。程序。 79,第7期,578-607(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,J.Log。代数。程序。79,第7号,578--607(2010;Zbl 1204.68072) 全文: 内政部 链接