陈子春；维林，马尔特；安迪·贝杰利里；卢卡斯·齐亚雷克；帕特里克·尤格斯特 分布式系统中鲁棒故障处理的类型理论。 （英语） Zbl 1347.68027号 Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲座笔记9688，96-113（2016）。MSC公司：64岁以下 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛T.-C-C-Chen｝等人，Lect。注释计算。科学。9688、96-113（2016；Zbl 1347.68027） 全文： 内政部 哈尔
罗曼·德曼根；本田、高黑；胡雷蒙德；鲁米亚纳内科娃；吉田、Nobuko 实用的可中断对话：使用多方会话类型和Python进行分布式动态验证。 （英语） Zbl 1341.68118号 形式方法系统。设计。 46，第3期，197-225（2015）.MSC公司：60年第68季度 68甲15 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Demangeon}等人，《形式方法系统》。设计。46，第3号，197--225（2015；Zbl 1341.68118） 全文： 内政部
斯维特拉纳·雅克西奇；卢卡·帕多瓦尼 无副本消息传递的异常处理。 （英语） Zbl 1283.68208号 科学。计算。程序。 84, 22-51 (2014).MSC公司：60年第68季度 68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}和\textit{L.Padovani}，科学。计算。程序。84、22-51（2014；Zbl 1283.68208） 全文： 内政部