拉利塔·贾特冈卡尔;阿尔伯特·R·迈耶。 在安全的有限网络上确定真正的并发等价。 (英语) Zbl 0877.68056号 西奥。计算。科学。 154,第1期,第107-143页(1996年).MSC公司:2015年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jategaonkar}和\textit{A.R.Meyer},Theor。计算。科学。154,编号1,107--143(1996;Zbl 0877.68056) 全文: 内政部
拉利塔·贾特冈卡尔;阿尔伯特·迈耶 确定有限安全网上的真正并发等价(初步报告)。 (英语) Zbl 1422.68170号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:Springer-Verlag。勒克特。注释计算。科学。700, 519-531 (1993).MSC公司:68问题85 2017年第68季度 第68季度25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Jategaonkar}和\textit{A.Meyer},莱克特。注释计算。科学。700、519--531(1993年;Zbl 1422.68170) 全文: 内政部