马里奥·布拉维蒂;马可·卡博尼;朱利安·兰格;吉田、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 1509.68183号 日志。方法计算。科学。 17,第1期,第1号论文,44页(2021年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti},日志。方法计算。科学。17,第1期,第1号论文,44页(2021;Zbl 1509.68183) 全文: arXiv公司 链接
卡洛斯·卡马乔;路易斯·拉纳;阿尔贝托·努涅斯;马里奥·布拉维蒂 概率软件产品线。 (英语) Zbl 1431.68017号 J.日志。代数。方法计划。 107, 54-78 (2019).MSC公司:68号30 第68季度55 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Camacho}等人,J.Log。代数。方法计划。107、54-78(2019年;Zbl 1431.68017) 全文: 内政部 哈尔