迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 高阶会话进程的特征互模拟。 (英语) Zbl 1380.68297号 学报信息。 54,第3期,271-341(2017). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kouzapas}et al.,Acta Inf.54,No.3,271--341(2017;Zbl 1380.68297) 全文: 内政部
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田、Nobuko 多方会话类型作为一致性证明。 (英语) Zbl 1371.68049号 学报信息。 54,第3期,243-269(2017).MSC公司:68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Carbone}等人,《学报》第54期,第3期,第243--269页(2017年;Zbl 1371.68049) 全文: 内政部