zbMATH中的参考文献（参考文献152篇文章,1标准件)

1. 蒋建民；朱惠标；李、秦；赵永新；张石；锣、平；Hong，Zhong：基于事件的功能分解（2020）
2. Valmari，Antti:所有低于稳定性的一致性保持公平测试或CFFD（2020）
3. Garavel，Hubert:嵌套单元Petri网（2019）
4. 夏恩·雅克法，拉斐尔；弗拉皮尔，马克；曼玛，阿米尔；芬克尔，阿兰：单调信息系统的参数化验证（2018）
5. van Glabbeek，Rob J.：异步（\pi）-微积分中同步编码的有效性（2018）
6. 埃弗拉德，胡格；Lang，Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码（2017）
7. 布雷斯，埃米尔；范格拉贝克，罗伯；Höfner，Peter:无线网络的定时进程代数及其在路由中的应用（扩展摘要）（2016）
8. 詹森，彼得·居尔；拉森，金·古德斯兰德；Srba，Jiří：时间弧Petri网博弈的离散化实时策略综合（2016）
9. 范格拉贝克，罗伯；霍夫纳，彼得；波特曼，马吕斯；Tan，Wee Lum:AODV路由协议的建模和验证（2016）
10. 维克斯，迪米特里斯；朗，弗里德里克；迪玛，加泰林；Mateescu，Radu:使用CADP验证（\mathrmEB^3）规范（2016）
11. 查玛，艾丁；贝拉拉，纳比勒；Saidouni，Djamel Eddine:业务流程时间约束的形式化建模与分析（2015）
12. Garavel，Hubert:重温过程计算中的顺序组合（2015）
13. 戈里里，罗伯托；Versari，Cristian:并发理论导论。过渡系统和CCS（2015）
14. Sánchez Terraf，Pedro:Bisimilarity不是Borel（2015年）
15. Valmari，Antti:LTS运营商与其他LTS运营商的可构建性和不可构建性（2015）
16. 范格拉贝克，罗伯J。；霍夫纳：这不公平！在某些公平的假设下，甚至不能像2015年那样用公平的语言来实现
17. Boiten，Erke A.：在精炼中引入额外操作（2014）
18. 德里克，约翰；关系并发优化。三： 迹，部分关系和自动机（2014）
19. 苏、李；戈麦斯，鲁道夫；鲍曼，霍华德：使用通讯自动机分析神经生物学模型（2014）
20. Valmari，Antti:熟悉算子的所有线性时间同余（2013）