爱德华·坎伯扬;内森·瓦瑟 正确的非确定性：使用并发来验证具有未指定语义的C程序。 （英语） Zbl 07811910号 Aubert，Clément（ed.）等人，《第十五届交互和并发体验研讨会论文集》，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365，1-16（2022）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Kamburjan}和\textit{N.Wasser}，电子。程序。西奥。计算。科学。（EPTCS）365，1--16（2022；Zbl 07811910） 全文： 内政部 arXiv公司
Owe、Olaf;埃莱赫·法泽尔德科迪 支持安全、安保和隐私的智能合约的轻量级方法。 （英语） Zbl 07531439号 J.日志。阿尔盖布。方法计划。 127，文章ID 100772，34 p.（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Owe}和\textit{E.Fazeldehkordi}，J.Log。阿尔盖布。方法计划。127，文章ID 100772，34 p.（2022；Zbl 07531439） 全文： 内政部
爱德华·坎伯扬;Din、Crystal Chang;雷纳·哈内尔;埃纳尔·布罗赫·约翰森 用于协作调度的异步协作契约。 （英语） Zbl 07817467号 Oh lveczky，Peter Csaba（编辑）等人，《软件工程和形式化方法》。2019年9月18-20日在挪威奥斯陆举行的第17届SEFM国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11724, 48-66 (2019).MSC公司：68纳米30 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Kamburjan}等人，Lect。注释计算。科学。11724、48-66（2019；Zbl 07817467） 全文： 内政部
伊勒姆·W·库尼亚。;阿恩·施·赫夫特 使用动态I/O自动机建模参与者系统。 （英语） Zbl 1461.68135号 Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。96098186-202（2016年）。MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.W.Kurnia}和\textit{A.Poetzsch-Heffter}，莱克特。注释计算。科学。9609186-202（2016；Zbl 1461.68135） 全文： 内政部
Din、Crystal Chang;理查德·布贝尔;雷纳·哈内尔 Key-ABS：并发建模语言ABS的演绎验证工具。 （英语） Zbl 1465.68174号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 517-526 (2015).MSC公司：60年第68季度 68甲19 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人，Lect。注释计算。科学。9195517--526（2015；Zbl 1465.68174） 全文： 内政部