ZBMaX中的参考文献（150篇）1标准条款）

1. 江，简敏；朱，Huibiao；李，秦；赵，永新；张，史；龚，平；洪，钟：事件基函数分解（2020）
2. Garavel，休伯特：嵌套单位Petri网（2019）
3. Chane Yack Fa，RAPHA；FrAPPER，贾景晖；Mammar，Amel；芬克尔，AlAI:单调信息系统的参数化验证（2018）
4. van Glabbeek，Rob J.：异步（\pi）演算中同步的有效性（2018）
5. EvrRad，HuGues；郎，Fr.E.EdRiR:由多路交会的异步进程的正式模型生成的自动分布式代码生成（2017）
6. BRS，埃米尔；van Glabbeek，Rob；Hofnne，彼得：一个适用于路由的无线网络的时间进程代数（扩展摘要）（2016）
7. 延森，Peter Gj·L；拉森，Kim Guldstrand；SRBA，Jiii:离散化时间弧Petri网对策的实时策略综合（2016）
8. van Glabbeek，罗布；H·Fnne，彼得；Potman，马吕斯；Tan，Wee Lum：AODV路由协议的建模和验证（2016）
9. Vekris，Dimitris；郎，弗雷德里克；Dima，Calalin；Mateescu，RADU:使用CADP（2016）验证（\ MaTeMeb ^ 3）规范
10. 查马，IMED Eddin；Belala，Nabil；Saidouni，Djamel Eddine：业务流程时间约束的正式建模和分析（2015）
11. Garavel，休伯特：重读过程计算器中的顺序合成（2015）
12. Gorrieri，罗伯托；Versari，克里斯蒂安：并发理论导论。过渡系统与CCS（2015）
13. Terraf，佩德罗：双imimelistic不是Boell（2015）
14. Valmari，安蒂：LTS运营商从其他LTS运营商的可构造性和不可构造性（2015）
15. van Glabbeek，Rob J.；H·芬纳，彼得：CCS：这是不公平的！即使在进度和某些公平假设下，公平调度也不能用类似于CCS的语言实现（2015）。
16. Boiten，Eerke A.：在细化中引入额外操作（2014）
17. Derrick，约翰；Boiten，Erk:关系并发细化。Ⅲ：迹、部分关系和自动机（2014）
18. 苏，李；戈麦斯，鲁道夫；Bowman，霍华德：利用通信自动机分析神经生物学模型（2014）
19. Valmari，ANTI:熟悉算子的所有线性时间同余（2013）
20. Vekris，Dimitris；Dima，Calalin：（EB ^ 3）的有效操作语义用于时间属性验证（2013）