沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 赋范交换无上下文过程分支互模拟的判定性。 (英语) Zbl 1319.68147号 理论计算。系统。 55,第1期,136-169(2014).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人,理论计算。系统。55,No.1,136--169(2014;Zbl 1319.68147) 全文: 内政部
西比尔Fröschle;彼得·扬查尔;斯拉沃米尔·拉索塔;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) 全文: 内政部
西比尔·弗罗斯科尔;萨沃米尔·拉索塔 规范化过程、唯一分解和互模拟等价的复杂性。 (英语) Zbl 1347.68264号 Habermehl,P.(ed.)等人,第八、第九和第十届无限状态系统验证国际研讨会会议记录(INFINITY 2006、2007、2008),德国波恩,2006年8月26日,葡萄牙里斯本,2007年9月8日,加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记239,17-42(2009)。MSC公司:68问题85 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Fröschle}和\textit{S.Lasota},电子。理论注释。计算。科学。239、17-42(2009年;Zbl 1347.68264) 全文: 内政部
萨沃米尔·拉索塔 基本并行过程性能等价性的决定。 (英语) Zbl 1099.68070号 西奥。计算。科学。 360,第1-3号,172-192(2006).MSC公司:68问题85 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{S.Lasota},Theor。计算。科学。360,第1--3172-192号(2006年;Zbl 1099.68070) 全文: 内政部