西尔维娅·吉勒赞;约万卡·潘托维奇;伊凡·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 异步多方会话的精确子类型。 (英语) Zbl 07672673号 ACM事务处理。计算。日志。 24,第2号,第14号论文,73页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,ACM Trans。计算。日志。24,第2号,第14号论文,73页(2023;Zbl 07672673) 全文: 内政部 arXiv公司
达斯,安库什;弗兰克·芬宁 Rast:一种用于资源软件会话类型的语言。 (英语) Zbl 07471698号 日志。方法计算。科学。 18,第1号,第9号文件,第36页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{F.Pfenning},日志。方法计算。科学。18,第1号,第9号论文,36页(2022;Zbl 07471698) 全文: arXiv公司 链接
马里奥·布拉维蒂;马可·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗 异步会话子类型的完善算法及其实现。 (英语) Zbl 1509.68184号 日志。方法计算。科学。 17,第1号,第20号论文,35页(2021年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}等人,日志。方法计算。科学。17,第1号,第20号论文,第35页(2021;Zbl 1509.68184) 全文: arXiv公司 链接
罗斯·霍恩 使用循环序列的会话子类型和多方兼容性。 (英语) Zbl 07559468号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第12条,22页(2020年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Horne},LIPIcs——莱布尼茨国际程序。通知。171,第12条,22 p.(2020;Zbl 07559468) 全文: 内政部
菲利普·哈勒(编辑);Vascoconcelos、Vasco Thudichum(编辑) 关于以并发和通信为中心的软件编程语言方法的第十次研讨会的特刊。 (英语) Zbl 1423.68026号 J.日志。阿尔盖布。方法计划。 106, 196-197 (2019).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Haller}(编辑)和\textit{V.T.Vasconcelos}(主编),J.Log。阿尔盖布。方法计划。106196-197(2019年;Zbl 1423.68026) 全文: 内政部