佛朗哥·巴巴内拉;乌戈·德利古罗;罗尔夫·亨尼克 连接通信有限状态机的开放系统。 (英语) Zbl 1435.68211号 J.日志。阿尔盖布。方法计划。 109,文章ID 100476,34 p.(2019).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100476,34 p.(2019;Zbl 1435.68211) 全文: 内政部
多尔萨夫·埃尔霍格·本西纳;谢尔盖·哈达德;罗尔夫·亨尼克 模式Petri网的精化和异步组合。 (英语) 兹比尔1350.68201 Jensen,Kurt(编辑)等人,《Petri网和其他并发模型事务》V.Berlin:Springer(ISBN 978-3-642-29071-8/pbk)。计算机科学6900课堂讲稿。《期刊副刊》,96-120(2012)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Elhog-Benzina}等人,Lect。注释计算。科学。6900,96-120(2012;Zbl 1350.68201) 全文: 内政部