罗布·范格拉贝克;乌苏拉·戈尔茨 改进并发系统的动作和等价概念。 （英语） Zbl 0969.68081号 学报信息。 37，编号4-5，229-327（2001）. 摘要：我们研究了一种用于优化并发系统设计中使用的操作的操作符。给定抽象级别上的操作被较低级别上更复杂的过程所取代。这样做的方式是，可以从原始系统的行为和替代动作的过程的行为中，从成分上推断精炼系统的行为。我们记得，并发系统的交错模型不适合以其一般形式定义这样的操作符。相反，我们在几个基于因果关系、面向事件的模型上定义此操作符，同时考虑到死锁和成功终止之间的区别。然后，我们根据并发系统的等价概念，考虑线性时间和分支时间方法，研究了动作细化与抽象的相互作用。我们表明，除了交错等价外，基于步骤的等价在动作细化下也不保持。我们证明了线性时间偏序语义在求精下是不变的。最后，我们考虑了基于偏序的各种互模拟等价，并证明了其中最精细的两个等价在求精下保持不变，而其他等价则不保持不变。这些等价物的终止敏感版本甚至是动作细化的同余。 引用于1审查引用于55文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：并发系统;线性时间偏序语义 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}和\textit{U.Goltz}，《学报》第37期，第4--5229--327号（2001年；Zbl 0969.68081） 全文： 内政部