约翰·德里克;埃尔克·博伊滕 关系并发优化。 (英语) Zbl 1093.68061号 正式Asp。计算。 15,编号2-3,182-214(2003). 引用于19文件 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:失败-分歧;最终确定;进程代数;准备就绪;精炼;模拟;Z PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten},正式Asp。计算。15,编号2--3,182-214(2003;Zbl 1093.68061) 全文: 内政部