尼古拉斯·塔巴鲁；埃里克·坦特 分布式方面的化学基础。 （英语） Zbl 1451.68068号 分布计算。 32，第3期，193-216（2019）.MSC公司：68甲19 68甲15 2007年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{N.Tabarau}和\textit{E.Tanter}，分布计算。32，编号3193-216（2019；兹bl 1451.68068） 全文： 内政部 哈尔
卢卡·帕多瓦尼 一种用于并发对象协议的类型检查算法。 （英语） Zbl 1400.68141号 J.日志。阿尔盖布。方法计划。 100, 16-35 (2018).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Padovani}，J.Log。阿尔盖布。方法计划。100,16--35（2018；Zbl 1400.68141） 全文： 内政部 链接
斯维特拉纳·雅克西奇；约万卡·潘托维奇；西尔维娅·吉勒赞 链接数据隐私。 （英语） Zbl 1364.68073号 数学。结构。计算。科学。 27，第1号，33-53（2017）.MSC公司：68英里11 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人，数学。结构。计算。科学。27、第1号、第33-53号（2017；Zbl 1364.68073） 全文： 内政部
约翰·多夫兰；埃纳尔·布罗赫·约翰森；Owe、Olaf；马丁·斯特芬 针对多重继承的带有惰性行为子类型的增量推理。 （英语） Zbl 1221.68058号 科学。计算。程序。 76，第10期，915-941（2011）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人，科学。计算。程序。76，第10号，915--941（2011；Zbl 1221.68058） 全文： 内政部
约翰·多夫兰；埃纳尔·布罗赫·约翰森；Owe、Olaf；马丁·斯特芬 多重继承的增量推理。 （英语） Zbl 1211.68084号 Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423，215-230（2009）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人，Lect。注释计算。科学。5423、215--230（2009年；Zbl 1211.68084） 全文： 内政部
米卡埃尔·克勒布·乌夫；Jean-Pierre塔宾 嵌入式系统服务自适应同步计算模型中的封装和行为继承。 （英语） Zbl 1080.68016号 J.日志。阿尔盖布。程序。 63，第2期，241-269（2005）.MSC公司：68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerbœuf}和\textit{J.-P.Talpin}，J.Log。阿尔盖布。程序。63，第2号，241--269（2005；Zbl 1080.68016） 全文： 内政部 哈尔
马丁·伯杰；本田、高黑 扩展（pi）演算中的两阶段承诺协议。 （英语） Zbl 1260.68258号 Aceto，Luca（编辑）等人，EXPRESS'00:第七届并发表达性国际研讨会。CONCUR 2000卫星研讨会会议记录，美国宾夕法尼亚州大学公园，2000年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》39，第1期，21-46（2003）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Berger}和\textit{K.Honda}，Electron。注释Theor。计算。科学。39，第1号，第21-46号（2003；Zbl 1260.68258） 全文： 内政部