布鲁姆,巴德;索林·伊斯特拉尔;阿尔伯特·R·迈耶。 无法追踪相互模拟。 (英语) Zbl 0886.68027号 J.协会计算。机器。 42,第1期,232-268(1995). 引用于2评论引用于144文件 MSC公司: 68甲15 编程语言理论 关键词:互模拟;并发语言CCS;就绪模拟 PDF格式BibTeX公司 XML格式引用 \textit{B.Bloom}等人,J.协会计算。机器。42,编号1,232--268(1995;Zbl 0886.68027) 全文: DOI程序 链接