巴拉兹·乌格伦;萨博尔斯·哈达拉;拉兹洛·科兹马 综合通用管道系统的同步。 (英语) Zbl 1080.68017号 《网络学报》。 第123-151号第17页(2005年). 概要:流水线系统和不同类型的流水线是软件工程中并行系统中有趣的部分。这就是为什么值得研究这些系统同步规范的可能性。基于某种规范,存在不同的方法可以用来综合并行系统的同步,但由于流水线系统和方法本身的一些特殊性质,这些方法不能直接应用于流水线系统。看起来最有希望的方法是P.C.阿蒂和E.A.艾默生[ACM Trans.Program.Lang.Syst.20,51–115(1998)],这是一种基于特殊时序逻辑规范的许多类似过程的综合方法。本文对该方法进行了扩展,使其能够处理并行系统,特别是流水线系统的更多性质。我们不仅要考虑线性系统,还要考虑一般管道系统。此外,我们给出了一般流水线系统的抽象同步。 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:语义表;管道;合成;并行系统;时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{B.Ugron}等人,《网络学报》。17,第1号,第123--151条(2005;Zbl 1080.68017)