保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 无法异步观察并发。 (英语) Zbl 1361.68158号 数学。结构。计算。科学。 25,第4期,978-1004(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,数学。结构。计算。科学。25,第4号,978--1004(2015;Zbl 1361.68158) 全文: 内政部
菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 移动环境的RPO语义。 (英语) 兹比尔1342.68225 数学。结构。计算。科学。 24,第4号,文章ID e240404,59页(2014).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,数学。结构。计算。科学。24,第4号,文章ID e240404,59页(2014;Zbl 1342.68225) 全文: 内政部
菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 倒钩、上下文和标签的一般理论。 (英语) 兹比尔1354.68189 ACM事务处理。计算。日志。 第15号第4条第35条第27页(2014年).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,ACM Trans。计算。日志。第15条第4款第35条第27页(2014年;Zbl 1354.68189) 全文: 内政部
法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 移动环境的分散图形实现。 (英语) Zbl 1207.68224号 J.日志。阿尔盖布。程序。 80,第2期,113-136(2011).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{G.V.Monreale},J.Log。阿尔盖布。程序。80,第2号,113--136(2011;Zbl 1207.68224) 全文: 内政部
菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 移动环境的标记转换(通过图形编码合成)。 (英语) Zbl 1291.68281号 Hildebrandt,Thomas(编辑)等人,第15届并发表达性国际研讨会论文集(EXPRESS 2008),加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》242,第1期,73-98(2009)。MSC公司:68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,《电子》。注释Theor。计算。科学。242,编号1,73--98(2009;Zbl 1291.68281) 全文: 内政部
菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 反应系统、倒刺语义和移动环境。 (英语) Zbl 1234.68287号 de Alfaro,Luca(编辑),软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504272-287(2009)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,Lect。注释计算。科学。5504272-287(2009年;Zbl 1234.68287) 全文: 内政部
法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 移动环境的分散实施。 (英语) Zbl 1175.68279号 Ehrig,Hartmut(编辑)等人,《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87404-1/pbk)。计算机科学课堂讲稿5214,115-130(2008)。MSC公司:68问题85 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{G.V.Monreale},莱克特。注释计算。科学。5214、115-130(2008年;Zbl 1175.68279) 全文: 内政部