罗布·范格拉贝克；乌苏拉·戈尔茨 用于并行合成和动作精细化的井底流动事件结构。 （英语） Zbl 1068.68095号 西奥。计算。科学。 311，编号1-3，463-478（2004）. 摘要：引入了流事件结构作为给进程代数赋予语义的模型。然而，事实证明，必须做出某些限制才能使其适合于此目的。我们研究了流事件结构的子类，这些子类既适用于进程代数组合操作符，也适用于作为不同抽象级别上的进程的考虑手段的操作细化。首先，确定合适的子类特征。然后提出了两个具体的子类。较大的类概括了I.卡斯特拉尼和G.-Q.张【Theor.Comput.Sci.179203-215（1997；Zbl 0900.68323号)]，不适用于动作细化。较小的一个仍然足以表示处理所有标准过程代数和动作细化。 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：并发；流事件结构；平行构图；动作细化 引文：Zbl 0900.68323号 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}和\textit{U.Goltz}，Theor。计算。科学。311，编号1--3，463--478（2004；Zbl 1068.68095） 全文： 内政部 参考文献： [1] 布多尔，G。；Castellani，I.，《转换的排列：CCS和SCCS的事件结构语义》，（de Bakker，J.W.；de Roever，W.P.；Rozenberg，G.，REX学派和研讨会，逻辑和并发模型中的线性时间分支时间和部分顺序，Noordwijkerhout，荷兰，1988年5月/6月。REX学校和研讨会，关于并行逻辑和模型中的线性时间分支时间和部分顺序，Noordwijkerhout，荷兰，1988年5月/6月，计算机科学讲稿，第354卷（1989），Springer:Springer-Berlin），411-427·Zbl 0683.68029号 [2] 布多尔，G。；Castellani，I.，分布式计算的流模型；CCS的三个等价语义，Inform。和计算。，114, 247-314 (1994) ·Zbl 0938.68715号 [3] 卡斯特拉尼，I。；张国强，事件结构的平行产物，理论。计算。科学。，179, 203-215 (1997) ·Zbl 0900.68323号 [4] R.Costantini，《Reeignisbasierten Modellen verteilter系统中的抽象》。维尔拉格希尔德斯海姆大学博士学位论文。；R.Costantini，《Reeignisbasierten Modellen verteilter系统中的抽象》。希尔德斯海姆大学毕业论文，Verlag Dr.Kovaĉ。 [5] Darondeau博士。；Degano，P.，事件结构和因果树中行为的精化，理论。计算。科学。，118, 21-48 (1993) ·Zbl 0805.68041号 [6] van Glabbeek，R.J。；Goltz，U.，并发系统动作和等价概念的细化，Acta Inform。，37, 229-327 (2001) ·Zbl 0969.68081号 [7] 尼尔森，M。；Plotkin，G.D。；Winskel，G.，Petri网，事件结构和域，第一部分，理论。计算。科学。，13, 1, 85-108 (1981) ·Zbl 0452.68067号 [8] Pinna，G.M。；Poigné，A.，《论事件的本质：并发的另一个视角》，Theoret。计算。科学。，138, 2, 425-454 (1995) ·Zbl 0874.68111号 [9] Winskel，G.，《事件结构》（Brauer，W.；Reisig，W.，Rozenberg，G.），《Petri网：与其他并发模型的应用和关系，Petri网的进展》，1986年，第二部分；《程序高级教程》，Bad Honnef，1986年9月。《Petri网：对其他并发模型的应用和关系》，《Petri网进展》1986，第二部分；程序。高级课程，Bad Honnef，1986年9月，计算机科学讲稿，第255卷（1987），Springer:Springer Berlin），325-392·Zbl 0626.68022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。