莫里齐奥·穆尔吉亚 行为合同合规的定点框架。 （英语） Zbl 1518.68236号 J.日志。阿尔盖布。方法计划。 120，文章ID 100641，19 p.（2021）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Murgia}，J.Log。阿尔盖布。方法计划。120，文章ID 100641，19 p.（2021；Zbl 1518.68236） 全文： 内政部
大卫·巴兹勒;ter Beek，Maurice H。;罗萨里奥·普格利泽 编配和舞蹈的综合：弥合监督控制和服务协调之间的差距。 （英语） Zbl 1528.68173号 日志。方法计算。科学。 16，第2号，第9号论文，29页（2020年）.MSC公司：65年第68季度 60年第68季度 68问题85 93立方65 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人，Log。方法计算。科学。16，第2号，第9号文件，第29页（2020；兹bl 1528.68173） 全文： arXiv公司 链接
D.巴兹利。;P.德加诺。;法拉利，G.L。;托斯托，E。 将两个基于自动机的编排和舞蹈模型联系起来。 （英语） 兹比尔1352.68125 J.日志。阿尔盖布。方法计划。 85，第3期，425-446（2016）.MSC公司：65年第68季度 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人，J.Log。阿尔盖布。方法计划。85，第3号，425--446（2016；Zbl 1352.68125） 全文： 内政部 链接
马西莫·巴托莱蒂;蒂齐亚娜·西莫利;罗伯托·祖尼诺 行为合同的合规性：一项简短的调查。 （英语） Zbl 1434.68045号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 103-121 (2015).MSC公司：64岁以下 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，Lect。注释计算。科学。9465，103-121（2015；Zbl 1434.68045） 全文： 内政部
科西莫·拉内夫;卢卡·帕多瓦尼 web服务契约的代数理论。 （英语） Zbl 1338.68016号 正式Asp。计算。 第4期第27页，第613-640页（2015年）.MSC公司：68英里11 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit｛C.Laneve｝和\textit｛L.Padovani｝，正式Asp。计算。27，第4号，613--640（2015；Zbl 1338.68016） 全文： 内政部 哈尔