zbMATH中的参考文献（参考文献19条,1标准件)

1. 德尼古拉，罗科；法拉利，吉安鲁吉；普利斯，罗萨里奥；Tiezzi，Francesco:一种域特定分布式系统工程的正式方法（2020）
2. 贾奇诺，埃琳娜；伊万·兰内斯；梅齐纳，克劳迪奥·安塔雷斯；Tiezzi，Francesco:基于元组语言的因果一致性回滚（2017）
3. 李西蒙；吴曦；艾尔伯托，拉富恩特；尼尔森，弗莱明；Nielson，Hanne Riis:数据库的协调语言（2017）
4. 罗素，乔凡尼；董长玉；杜莱，纳兰克；乔德龙，米歇尔；van Steen，Maarten:在共享数据空间中针对恶意主机提供数据机密性（2010）
5. 戈拉，丹妮尔；Pugliese，Rosario:网络感知协调语言中能力的动态管理（2009）
6. 德尼古拉，罗科；戈拉，丹妮尔；普格利泽，罗萨里奥：全球计算微积分的基本观测值（2007）
7. 陈建文；张燕：基于规则的移动环境知识交易模型（2006）
8. 德尼古拉，罗科；戈拉，丹妮尔；普格利泽，罗萨里奥：论基于结石的表现力（2006）
9. 福卡迪，里卡多；卢奇，罗伯托；Zavattaro，Gianluigi:安全共享数据空间协调语言：过程代数调查（2006）
10. 贝蒂尼，洛伦佐；韦内里，贝蒂；波诺，维维亚娜：MOMI：移动mixin的微积分（2005）
11. 贝蒂尼，洛伦佐；波诺，薇薇安娜；Venneri，Betti:O'Klaim:与移动mixin的协调语言（2004）
12. 法拉利，吉安鲁吉；莫吉，尤金尼奥；普格利泽，罗萨里奥：面向全局计算的类型安全多级语言（2004）
13. 凯恩，凯文；Browne，James C.：CoorSet：关联协调组件的开发环境（2004）
14. 菲利普斯，安德鲁；吉田信子；Susan Eisenbach:盒装环境计算的分布式抽象机（2004）
15. 贝蒂尼，洛伦佐；De Nicola，Rocco：一个保证分布式元组空间隐私的Java中间件（2003）
16. 戈拉，丹妮尔；Pugliese，Rosario:动态权限获取的资源访问和移动控制（2003）
17. 保利诺，赫维；洛佩斯，鲁伊斯；Silva，Fernando:Mob:一种基于过程演算的移动代理脚本语言（2003）
18. 贝蒂尼，洛伦佐；德尼古拉，罗科；普格利泽，罗萨里奥：\textscX Klaim和\textsclava:编程移动代码（2002）ioport公司
19. 贝蒂尼，洛伦佐；德尼古拉，罗科；Pugliese，Rosario:Klava:一个面向分布式和移动应用的Java包（2002）