@InCollection{zbMATH07045140，作者={Jategaonkar，Lalita和Meyer，Albert}，Title={确定有限安全网上的真正并发等价（初步报告）}，BookTitle={自动化，语言和编程。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5-9日。诉讼}，国际标准图书编号={3-540-56939-1}，页码={519--531}，年份={1993}，出版商={柏林：Springer-Verlag}，语言={英语}，DOI={10.1007/3-540-56939-1_99}，关键词={68Q85,68Q17,68Q25,68Q45}，zbMATH={7045140}，Zbl={1422.68170}}