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) 全文: DOI程序
汤姆·霍维特;费利克斯·克莱特克;尤根·兹利内斯库 多方合同的基于跟踪的模型。 (英语) 兹比尔1235.91116 J.日志。阿尔盖布。程序。 81,第2期,72-98(2012).MSC公司:91磅40 第91页第26页 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hvitved}等人,J.Log。阿尔盖布。程序。81,第2号,72--98(2012;Zbl 1235.91116) 全文: DOI程序 链接
艾伦·阿克图格;达姆,麦兹;古罗夫,帝力 运行时监控正确无误。 (英语) Zbl 1192.68116号 J.日志。阿尔盖布。程序。 78,第5号,304-339(2009).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{I.Aktug}等人,J.Log。阿尔盖布。程序。78,第5号,304--339(2009;Zbl 1192.68116) 全文: DOI程序