米歇尔·帕斯夸;马里诺·米库兰 AbU：一种基于属性交互的分布式事件驱动编程演算。 （英语） Zbl 07681293号 西奥。计算。科学。 958，文章ID 113841，32 p.（2023）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Pasqua}和\textit{M.Miculan}，Theor。计算。科学。958，文章ID 113841，32 p.（2023；Zbl 07681293） 全文： 内政部
马里诺·米库兰;米歇尔·帕斯夸 基于属性的内存更新演算。 （英语） Zbl 07500654号 Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 366-385 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Miculan}和\textit{M.Pasqua}，莱克特。注释计算。科学。12819、366--385（2021；Zbl 07500654） 全文： 内政部
洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;莫里切塔，安德里亚;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐 编程和验证组件集成。 （英语） Zbl 1416.68051号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第8415页，第69-83页（2014年）。MSC公司：68纳米30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人，Lect。注释计算。科学。8415，69-83（2014；Zbl 1416.68051） 全文： 内政部
de Nicola，罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥·普格利泽 从流逻辑到协调语言的静态类型系统。 （英语） Zbl 1192.68126号 科学。计算。程序。 75，第6期，376-397（2010）.MSC公司：68甲15 60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人，科学。计算。程序。75，第6号，376--397（2010；Zbl 1192.68126） 全文： 内政部
莫里斯·比克。;格内西、斯特凡尼亚;迭戈·拉特拉;梅克·马西克;毛里齐奥·塞巴斯蒂安尼斯;詹卢卡·特伦塔尼 协助设计群件系统-模型检查智囊团的可用性方面。 （英语） Zbl 1183.68363号 J.日志。阿尔盖布。程序。 78，第4期，191-232（2009）.MSC公司：60年第68季度 03B44号 68纳米30 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人，J.Log。阿尔盖布。程序。78，第4号，191--232（2009；Zbl 1183.68363） 全文： 内政部
洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 元组空间动态网络中的全局计算。 （英语） Zbl 1178.68160号 科学。计算。程序。 64，第2期，187-204（2007）.MSC公司：68N99型 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人，科学。计算。程序。64，第2号，187--204（2007；Zbl 1178.68160） 全文： 内政部