zbMATH中的参考文献（参考 81篇文章，2标准条款)

1. Martín，Óscar；Verdejo，Alberto；MartíOliet，Narcisco:重写逻辑中的组合规范（2020）
2. Marmsoler，Diego；Gidey，Habtom Kashay：FACTum建筑设计模式的交互验证（2019）
3. Reisig，Wolfgang:具有双面接口的组件的关联组合（2019）
4. 布雷索林，戴维德；拉内塞，伊万：最一般的财产保护更新（2017年）
5. Dokter，Kasper；Jongmans，Sung Shik；Arbab，Farhad；Bliudze，Simon：《联合与征服：关联BIP和Reo》（2017）
6. Evrard，Hugues；Lang，Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码（2017）
7. 保罗•阿蒂；爱德华德•巴拉诺夫；西蒙•布鲁兹；穆罕默德•贾伯；约瑟夫•斯法基斯：建筑可组合性的一般框架（2016）
8. Cassel，Sofia；Howar，Falk；Jonsson，Bengt；Steffen，Bernhard:扩展有限状态机的主动学习（2016）
9. Jongmans，Sung Shik T.Q.；Arbab，Farhad:约束自动机的数据优化（2016）
10. Oliveira，Marcel V.M.；Antonino，P.；Ramos，R.；Sampaio，A.；Mota，A.；Roscoe，A.W.：使用组件元数据和模式严格开发基于组件的系统（2016年）
11. Aceo，Luca；Goriac，Eugen Ioan；Ingolfsdottir，Anna:Linda无状态双相似性的基本公理化（2015）
12. Bruni，Roberto；Melgratti，Hernán；Montanari，Ugo:状态连接器的标准形式（2015）
13. Jongmans，Sung Shik T.Q.；Arbab，Farhad:高吞吐量能否弥补编译器生成的协议代码中的高延迟？（2015年）ioport公司
14. Klein，Joachim；Baier，Christel；Klüppelholz，Sascha：大多数通用控制器的组成结构（2015）
15. Sifakis，Joseph；Bensalem，Saddek；Bliudze，Simon；Bozga，Marius：基于组件设计的理论议程（2015）
16. Moon，Young Joo；Silva，Alexandra；Krause，Christian；Arbab，Farhad：随机Reo连接器端到端QoS推理的组合模型（2014）
17. Bruni，Roberto；Melgratti，Hernan；Montanari，Ugo；Sobocinski，Pawel:C/E和P/T网络交互作用的连接器代数（2013）
18. Borzoo Bonakdarpour；Bozga，Marius；Jaber，Mohamad；Quilbeuf，Jean；Sifakis，Joseph：基于组件模型的自动化分布式实现框架（2012）
19. Bonsangue，Marcello；Clarke，Dave；Silva，Alexandra:上下文相关组件连接器模型（2012）
20. Groote，Jan Friso；Kouters，Tim W.D.M.；Osaiweran，Ammar：《避免国家空间爆炸问题的规范指南》（2012年）