阿伦·阿斯拉纳吉奇;佩雷斯(Jorge A.Pérez)。;安达·阿梅利亚帕拉马里厄克 \(\pi\)-演算的最小会话类型。 (英语) Zbl 07825551号 Inf.计算。 297,文章ID 105148,67 p.(2024).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arslanagić}等人,《Inf.Compute》。297,文章ID 105148,67 p.(2024;Zbl 07825551) 全文: 内政部 arXiv公司 OA许可证
贝尔纳多·阿尔梅达;安德烈亚·莫迪多;彼得·蒂曼;Vasco T.瓦康塞洛斯。 具有无上下文会话类型的多态lambda演算。 (英语) Zbl 07629141号 Inf.计算。 289,A部分,文章ID 104948,36 p.(2022).MSC公司:68问题85 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Almeida}等人,《信息计算》。289,A部分,文章ID 104948,36 p.(2022;Zbl 07629141) 全文: 内政部 arXiv公司 OA许可证
瑞安·卡瓦纳 会话类型语言的公平性和基于通信的语义。 (英语) Zbl 1504.68030号 Inf.计算。 285,B部分,文章ID 104892,77 p.(2022).MSC公司:68甲15 68甲18 68甲19 68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kavanagh},信息计算。285,B部分,文章ID 104892,77页(2022;Zbl 1504.68030) 全文: 内政部 arXiv公司 OA许可证
田,春;大卫·桑吉奥吉 收缩、CCS及其HOL形式化的独特解决方案。 (英语) Zbl 1496.68250号 Inf.计算。 275,文章ID 104606,33 p.(2020).MSC公司:68问题85 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{D.Sangiorgi},信息计算。275,文章ID 104606,33页(2020;兹bl 1496.68250) 全文: 内政部 arXiv公司
博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 这个链接-开放多方交互的微积分。 (英语) Zbl 1496.68218号 Inf.计算。 275,文章ID 104587,38 p.(2020).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Inf.计算。275,文章ID 104587,38 p.(2020;Zbl 1496.68218) 全文: 内政部 OA许可证
迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 关于高阶会话过程的相对表达性。 (英语) Zbl 1430.68163号 Inf.计算。 268,文章ID 104433,54 p.(2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kouzapas}等人,信息计算。268,文章ID 104433,54 p.(2019;Zbl 1430.68163) 全文: 内政部 链接
奥尔内拉Dardha;埃琳娜·贾奇诺;大卫·桑吉奥吉 重新访问会话类型。 (英语) Zbl 1376.68099号 Inf.计算。 256253-286(2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Dardha}等人,《信息计算》。256253-286(2017年;Zbl 1376.68099) 全文: 内政部 OA许可证
迪米特里斯·莫斯特鲁斯;吉田、Nobuko 高阶演算的会话类型和异步子类型。 (英语) 兹比尔1309.68139 Inf.计算。 241, 227-263 (2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Mostrous}和\textit{N.Yoshida},信息计算。241227--263(2015;Zbl 1309.68139) 全文: 内政部 OA许可证
佩雷斯(Jorge A.Pérez)。;路易斯·凯雷斯;弗兰克·芬宁;伯纳多·托尼霍 基于会话的并发的线性逻辑关系和观察等价性。 (英语) 兹比尔1309.68141 Inf.计算。 239, 254-302 (2014).MSC公司:68问题85 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Pérez}等人,《信息计算》。239254--302(2014年;Zbl 1309.68141) 全文: 内政部
伊万·拉内斯;佩雷斯(Jorge A.Pérez)。;大卫·桑吉奥吉;阿兰·施密特 关于高阶过程计算的表达性和可判定性。 (英语) Zbl 1238.68100号 Inf.计算。 209,第2期,198-226(2011). 审核人:罗曼·库兹涅茨(伯尔尼) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,《信息计算》。209,第2号,198--226(2011;Zbl 1238.68100) 全文: 内政部 链接