罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里 从层次BIP到Petri演算。 （英语） Zbl 1416.68111号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 54-68 (2014).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。8415，54-68（2014；Zbl 1416.68111） 全文： 内政部
劳拉·博奇;埃尔南梅尔格拉蒂;埃米利奥·托斯托 解决舞蹈设计中的非决定论。 （英语） Zbl 1405.68071号 Shao，Zhong（编辑），《程序设计语言和系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。计算机科学课堂讲稿8410493-512（2014）。MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人，Lect。注释计算。科学。8410493-512（2014；Zbl 1405.68071） 全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里 行为、相互作用和动力学。 （英语） Zbl 1407.68098号 Iida，Shusaku（编辑）等人，《规范、代数和软件》。献给二谷浩一的散文。柏林：斯普林格。莱克特。注释计算。科学。8373, 382-401 (2014).MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。8373382-401（2014年；兹比尔1407.68098） 全文： 内政部 链接