彼得·扬查尔 基本并行过程的相似性。 (英语) Zbl 07467467号 西奥。计算。科学。 903, 26-38 (2022).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔},Theor。计算。科学。903,26-38(2022;Zbl 07467467) 全文: 内政部
彼得·扬查尔;马丁·科特;Zdeněk萨瓦 确定规范BPA和规范BPP之间的双相似性的复杂性。 (英语) Zbl 1209.68338号 Inf.计算。 208,第10号,1193-1205(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}等人,《信息计算》。208,第10号,1193--1205(2010;Zbl 1209.68338) 全文: 内政部
西比尔·弗罗斯科尔;彼得·扬查尔;斯拉沃米尔·拉索塔;Zdeněk萨瓦 基本并行过程上的不相交互模拟等价。 (英语) Zbl 1185.68444号 Inf.计算。 208,第1期,42-62(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Fröschle}等人,《信息计算》。208,编号1,42--62(2010;Zbl 1185.68444) 全文: 内政部
彼得·扬查尔;马丁·科特;Zdeněk萨瓦 重新审视了正常BPA和正常BPP。 (英语) Zbl 1160.68468号 van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。《计算机科学讲义》5201、434-446(2008)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}等人,Lect。票据计算。科学。5201434--446(2008年;Zbl 1160.68468) 全文: 内政部