zbMATH参考文献（参考 151篇文章 参考，1标准件)

1. 蒋建民；朱慧彪；李，秦；赵永新；张，石；龚，平；洪，钟：基于事件的功能分解（2020）
2. 保存或保持稳定（低于2020年）
3. Garavel，Hubert:嵌套单元Petri网（2019）
4. Chane Yack Fa，Raphaël；Frappier，Marc；Mammar，Amel；Finkel，Alain：单调信息系统的参数化验证（2018）
5. van Glabbeek，Rob J.：异步（\pi）-微积分中同步编码的有效性（2018）
6. Evrard，Hugues；Lang，Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码（2017）
7. Bres，Emile；van Glabbeek，Rob；Höfner，Peter:无线网络的定时进程代数及其在路由中的应用（扩展摘要）（2016）
8. Jensen，Peter Gjøl；Larsen，Kim Guldstrand；Srba，Jiří：基于离散化的定时弧Petri网博弈的实时策略综合（2016）
9. van Glabbeek，Rob；Höfner，Peter；Portmann，Marius；Tan，Wee Lum：AODV路由协议的建模和验证（2016）
10. Vekris，Dimitris；Lang，Frédéric；Dima，Catalin；Mateescu，Radu：使用CADP验证（\mathrmEB^3）规范（2016年）
11. Chama，Imed Eddine；Belala，Nabil；Saidouni，Djamel Eddine:业务流程时间约束的形式化建模与分析（2015）
12. Garavel，Hubert:重温过程计算中的顺序组合（2015）
13. Gorrieri，Roberto；Versari，Cristian:并发理论导论。过渡系统和CCS（2015）
14. Sánchez Terraf，Pedro:Bisimilarity不是Borel（2015年）
15. Valmari，Antti:LTS运营商与其他LTS运营商的可构建性和不可构建性（2015）
16. 范格拉贝克，罗布J.；霍夫纳，彼得：中央社：这不公平！即使在进展和某些公平性假设下，公平调度程序也不能用类似CCS的语言实现（2015年）
17. Boiten，Erke A.：在精炼中引入额外操作（2014）
18. Derrick，John；Boiten，Erke:关系并发优化。三： 迹，部分关系和自动机（2014）
19. Su，Li；Gomez，Rodolfo；Bowman，Howard:使用通讯自动机分析神经生物学模型（2014）
20. Valmari，Antti:熟悉算子的所有线性时间同余（2013）