马里奥·布雷韦蒂；罗伯托·戈里埃里 用递归和动作精化方法确定过程代数的弱ST互模拟并公理化。 （英语） Zbl 1365.68340号 ACM事务处理。计算。日志。 3，第4期，465-520（2002）. 引用于9文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：动作精细化；ST互模拟；公理化；非干涉语义；进程代数 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}和\textit{R.Gorrieri}，ACM Trans。计算。日志。3，第4号，465--520（2002；Zbl 1365.68340） 全文： 内政部