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

1. 德尼古拉，罗科；法拉利，吉安鲁吉；普利斯，罗萨里奥；Tiezzi，Francesco:一种域特定分布式系统工程的正式方法（2020）
2. 沙巴诺夫，B。M、 。；库兹涅佐娃。A、 。；里巴科夫，A。A、 ：数据流处理器仿真器实现功能（2020）
3. 叶希亚，阿布德·阿尔拉赫曼；Torres Vieira，Hugo:电网运行控制的协调协议语言（2019）
4. 哈勒，菲利普；Miller，Heather:直接式异步可观测的简化语义（2019）
5. 约翰森，基督徒；Owe，Olaf：动态结构操作语义（2019）
6. Mostowski，Wojciech:用于测试灰盒系统的基于模型的故障注入（2019）
7. 卡巴莱罗，拉斐尔；马丁·马丁，恩里克；里斯科，阿德里án；萨尔瓦多塔马里特：并发Erlang程序的声明性调试（2018）
8. 因萨，大卫；Pé雷兹，塞尔吉奥；席尔瓦，约瑟普；萨尔瓦多塔马里特：Erlang代码进化控制（2018）
9. 伊万·兰内斯；西田、直木；帕拉西奥斯，阿德里án；维达尔，细菌án： Erlang可逆性理论（2018）
10. 我ó佩斯·弗拉瓜斯，弗朗西斯科·J。；黑山，曼努埃尔；苏á雷兹加克ía、 戈尔卡：Erlang的多态成功类型（2018）
11. 米ü勒尔，彼得（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月（2018年），德国凯泽斯劳滕，研讨会上的演讲精选论文
12. 艾伯特，艾薇拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；Martin Martin，Enrique:演员到Haskell的正式、资源消耗保护翻译（2017）
13. 艾伯特，艾薇拉；弗洛雷斯·蒙托亚，安东尼奥；杰纳姆，萨米尔；Martin Martin，Enrique:并行交织循环的信赖保证终止和成本分析（2017）
14. 鲍姆加特纳，亚历山大；特穆尔库兹亚；利维，乔迪；Villaret，Mateu：线性时间的高阶模式反统一（2017）
15. 勃兰特，Jö尔根；莱希格，沃尔夫冈；Leser，Ulf:功能科学工作流语言楔形文字的计算语义（2017）
16. 大卫·因萨，塞尔吉奥·Pérez，Josep Silva，Salvador Tamarit:Erlang代码进化控制（2017）阿尔十四
17. 西田、直木；帕拉西奥斯，阿德里án；维达尔，细菌án： Erlang的可逆语义（2017）
18. 菲利普·莫里茨、罗伯特·西哈拉、斯蒂芬妮·王、亚历克谢·图马诺夫、理查德·利亚乌、埃里克·梁、梅利赫·伊莱波、杨宗亨、威廉·保罗、迈克尔一世。Jordan，Ion Stoica:Ray:新兴人工智能应用的分布式框架（2017）阿尔十四
19. 迪特尔，M。；Horstmeyer，T。；鲁根，R。；Berthold，J.：Eden中的骨架组成与稳定过程系统（2016）
20. 博士ă戈伊，塞扎拉；托马斯·齐纳。；Zuffrey，Damien:\textscPSync:容错分布式算法的部分同步语言（2016）