zbMATH中的参考文献（参考文献88篇,2标准条款)

1. 戴维德，布雷索林；Lanese，Ivan:静态和动态属性保留更新（2021）
2. 多克特，卡斯帕；加杜奇，法比奥；狮子，本杰明；Santini，Francesco:带记忆的软约束自动机（2021）
3. 博德，恰拉；布罗多，琳达；布鲁尼，罗伯托：《开放多方互动的链接演算》（2020）
4. 马丁斯，Óscar；阿尔伯托威尔德乔；MartíOliet，Narcisco：重写逻辑中的组合规范（2020）
5. 马姆索勒，迭戈；Gidey，Habtom Kashay:FACTum建筑设计模式的交互验证（2019）
6. Reisig，Wolfgang:具有双面接口的组件的关联组合（2019）
7. 菲格雷多，丹尼尔；马丁斯，曼努埃尔A。；Barbosa，Luís.：关于反应性跃迁和Reo连接器的注释（2018）
8. Jongmans，Sung Shik：用八种颜色正式传播Reo中的优先级（2018）
9. 戴维德，布雷索林；Lanese，Ivan：最普遍的财产保护更新（2017年）
10. 多克特，卡斯帕；琼曼斯，宋希克；阿尔巴布，法哈德；Bliudze，Simon：《联合与征服：联系BIP和Reo》（2017）
11. 埃弗拉德，胡格；Lang，Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码（2017）
12. Arbab，Farhad：适当方案（2016年）
13. 阿蒂，保罗；巴拉诺夫，爱德华德；傻了，西蒙；贾比尔，穆罕默德；Sifakis，Joseph:体系结构可组合性的一般框架（2016）
14. 卡塞尔，索非亚；霍瓦，福克；强森，本特；Steffen，Bernhard:扩展有限状态机的主动学习（2016）
15. 克尔松，菲利普；杜斯拉夫，克莱门斯；拜尔，克里斯特尔；克莱因，约阿希姆；Klüppelholz，Sascha:基于角色的系统建模与外部协调（2016）
16. 容格曼，宋世宗。；Arbab，Farhad:约束自动机的数据优化（2016）
17. 奥利维拉，马塞尔·V·M。；安东尼诺，P。；拉莫斯，R。；桑帕约，A。；莫塔，A。；Roscoe，A.W.：使用组件元数据和模式严格开发基于组件的系统（2016）
18. 丙酮，卢卡；戈里亚克，尤金·伊安；Ingolfsdottir，Anna:Linda无状态双相似性的基本公理化（2015）
19. 布鲁尼，罗伯托；梅尔格拉蒂，赫尔南；Montanari，Ugo:有状态连接器的标准形式（2015）
20. 容格曼，宋世宗。；Arbab，Farhad：高吞吐量能否弥补编译器生成的协议代码中的高延迟？（2015年）ioport公司