zbMATH参考文献（参考 6篇文章 参考）

1. Koutavas，Vasileios；Gazda，Maciej；Hennessy，Matthew：区分交流交易（2018）
2. 伊万·兰内斯（Lanese）；西田（Nishida），直木（Naoki）；帕拉西奥斯（Palacios），阿德里安（Adrián）；维达尔（Vidal），格尔曼（Germanán）：厄朗的可逆性理论（2018年）
3. Giachino，Elena；Lanese，Ivan；Mezzina，Claudio Antares；Tiezzi，Francesco：基于元组语言的因果一致性回滚（2017）
4. 伊万·兰内斯（Lanese）；克劳迪奥·安塔雷斯（Claudio Antares）；施密特（Schmitt），艾伦（Alan）；斯特凡尼（Stefani），让·伯纳德（Jean Bernard）：控制高阶pi中的可逆性（2011）
5. Philipp Haller；Martin Odersky:Scala actors:统一基于线程和基于事件的编程（2009）
6. Field，John；Varela，Carlos A.：事务处理程序：在不可靠环境中维护全局一致的分布式状态的编程模型（2005）