zbMATH中的参考文献（参考文献26条)

1. Kapus，Tatjana:用（\mathrmTLA^+）指定可逆性（2020）
2. 科尔文，罗伯特J。；海斯，伊恩J。；Meinicke，Larissa A.：为具有并发性的广谱语言设计语义模型（2017）
3. 康诺夫，伊戈尔；拉齐奇，马里亚纳；维思，赫尔穆特；Widder，Josef:容错分布式算法安全性和活性验证的简短反例属性（2017）
4. 康诺夫，伊戈尔；维思，赫尔穆特；Josef Widder：关于容错分布式算法的模型检查，您一直想知道的（2016）
5. 冯莱茵，亚历山大；图姆，托马斯；伊纳州谢弗；利比希，约格；Apel，Sven:可变性编码：从编译时到加载时的可变性（2016）
6. Gmeiner，每年；康诺夫，伊戈尔；施密德，乌尔里希；赫尔姆维；Widder，Josef:容错分布式算法的参数化模型检查教程（2014）
7. 莱斯利·兰波特：《如何写出21世纪的证据》（2012）
8. 李国栋；帕默，罗伯特；迪莉丝，迈克尔；戈帕拉克里希南，甘尼什；Kirby，Robert M.：MPI2.0的形式化规范：指定实用并发编程API的案例研究（2011）
9. 刘晓军；Lee，Edward A.：定时交互参与者网络的CPO语义（2008）
10. 梅斯盖尔，何塞：改写的时间逻辑：一个温和的介绍（2008）
11. 巴纳赫。；波普尔顿，M。；杰斯克，C。；Stepney，S.：紧缩的工程和理论基础（2007）
12. 阿曼多，A。；盆地，D。；博伊丘特，Y。；骑士，Y。；康巴尼亚，L。；库利亚尔，J。；汉克斯·德里斯玛，P。；赫姆，中华人民共和国。；库什纳连科，O。；曼托瓦尼，J。；Mödersheim，S。；冯·奥海姆博士。；Rusinovitch，M。；圣地亚哥，J。；图鲁阿尼，M。；维根，L。；Vigneron，L.：互联网安全协议和应用程序自动验证的Avisa工具（2005）
13. Schellhorn，Gerhard:ASM精化和数据精化中正向模拟的推广：比较（2005）
14. 丹尼尔·克罗宁；瓦克宁，乔尔；塞希亚，桑吉特A。；Strichman，Ofer:Presburger算法基于抽象的可满足性求解（2004）
15. 弗洛雷斯库，丹妮拉；格伦哈根，安德烈亚斯；Kossmann，Donald:XL:web服务规范和组合的XML编程语言。（2003年）
16. 默兹，斯蒂芬；维辛，马丁；Zappe，Júlia:移动系统规范和细化的时空逻辑（2003）
17. 帕德伯格，J。；Urbášek，M.：基于规则的Petri网精化：调查（2003）
18. Misra，Jayadev：多道程序设计的一门学科。分布式应用程序设计理论（2001）
19. 帕佐斯·阿里亚斯，何塞·J。；García Duque，Jorge:SCTL-MUS：分布式系统软件开发的正式方法论。案例研究（2001）
20. 瓦尔迪，莫斯伊：分支与线性时间：最终决战（2001）