A.W.罗斯科。 关于CSP细化的表达能力。 (英语) Zbl 1101.68703号 正式Asp。计算。 17,第2期,93-112(2005). 引用于1审查引用于6文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:CSP公司;精炼;拓扑结构;完全抽象 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe},正式Asp。计算。17,第2号,93-112(2005;Zbl 1101.68703) 全文: DOI程序