×
格林·温斯克尔

同步树。 （英语） 兹伯利0985.68514

西奥。计算。科学。 34，编号1-2，33-82（1984）.
摘要：同步树是许多并发工作的具体基础模型。它们是带有标记弧的树；节点表示状态、事件的弧发生及其标签，说明事件如何与环境中的其他事件同步。同步代数的概念抽象地捕获了允许事件同步的许多不同方式。它说明了哪些标记的事件对可以组合成同步事件，以及同步事件携带的标签。同步树是带有由同步代数元素标记的弧的树。我们的方法基于树的形态的自然定义，它本质上表示了一个进程中事件的发生意味着另一个进程的事件同步发生。树上众所周知的操作是作为范畴结构出现的。例如，和构造是同步树上的一个副产品，而许多常见的同步树的并行组合是该产品在树的基本类别中的限制。这些结构相对于树上的自然完全偏序结构来说是连续的，因此可以通过改变同步代数，以常规的方式，基于递归结构，获得作为多种并行编程语言的同步树的指称语义。同步树的同构导致了语言术语的基本同余。我们给出了限制于非递归项的同余的一个完整的证明系统。将树的范畴推广到过渡系统的范畴。树的类别和过渡系统之间令人愉快的范畴设置使得以过渡系统表示的操作语义和以树表示的指称语义之间的平滑转换成为可能。

引用于28文件

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

软件：

舒适的
PDF格式BibTeX公司 XML格式引用
\文本{G.Winskel}，Theor。计算。科学。34、33——82（1984年；Zbl 0985.68514）
全文： DOI程序

参考文献：

[1] Arbib，医学硕士。；Manes，E.G.：箭头、结构和函子：绝对命令。(1975) ·兹比尔0374.18001
[2] Brookes，S.D.：关于CCS和CSP的关系。计算机科学课堂讲稿154（1983）·Zbl 0516.68024号
[3] Berry，G。；Curien，P.L.：关于具体数据类型的顺序算法。报告。巴黎国家矿山管理局（1981年）·Zbl 0497.68012号
[4] 布劳尔：网络理论与应用。计算机科学讲义84（1980）
[5] 克拉克，E.M。；艾默生，E.A。；Sistla，A.P.：使用时序逻辑规范自动验证有限状态并发系统：一种实用方法。程序。第十届ACM会议《编程语言原理》（1983年）·Zbl 0591.68027号
[6] 坎贝尔，R.H。；Habermann，A.N.：通过路径表达式对进程同步进行规范。计算机科学课堂讲稿16（1974）·Zbl 0295.68028号
[7] Cardelli，L。；Plotkin，G.：超大规模集成电路设计的代数方法。Vlsi 81（1981）
[8] Gratzer，G.：泛代数。高等数学大学系列（1968）
[9] 霍尔，C.A.R。；布鲁克斯，S.D。；罗斯科，A.W.：沟通过程理论。J.ACM（1981）·Zbl 0628.68025号
[10] 轩尼诗，M.C.B。；Milner，R.：关于观察不确定性和并发性。计算机科学课堂讲稿85（1979）·Zbl 0441.68018号
[11] 轩尼诗，M.C.B。；De Nicola，R.：测试过程的等效性。内部报告。(1982) ·兹比尔0515.68029
[12] 轩尼诗，M.C.B。；Plotkin，G.：CCS的术语模型。计算机科学课堂讲稿88（1980）·Zbl 0479.68011号
[13] Kahn，G。；Plotkin，G.：Domaines concrètes。IRIA-LABORIA关系（1978）
[14] Knuth，E。；Györy，Gy。；Ronyai，L.：投影运算的研究。程序。Petri网研讨会52（1982）
[15] Labela，A。；佩特洛西：走向对平行性的绝对理解。(1983)
[16] 劳尔，P。；托里吉亚尼，P。；Shields，M.：COSY，一种基于路径和过程的系统规范语言。信息学报12（1979）·Zbl 0403.68031号
[17] Maclane，S.：职业数学家的分类。数学研究生课程（1972年）
[18] Milner，R.：通信系统的微积分。计算机科学课堂讲稿92（1980）·Zbl 0452.68027号
[19] Milner，R.：关于同步和异步的关联。报告。CSR-75-80（1981）
[20] Milner，R.：同步CCS中的有限延迟算子。内部报告。CSR-116-82（1982）
[21] 尼尔森，M。；Plotkin，G。；Winskel，G.：Petri网、事件结构和域。计算机科学课堂讲稿70（1979）·Zbl 0418.68056号
[22] 尼尔森，M。；Plotkin，G。；Winskel，G.：Petri网，事件结构和域，第一部分。定理。计算。科学。13, 85-108 (1981) ·Zbl 0452.68067号
[23] Plotkin，G.：操作语义的结构方法。代表。大麦FN-19（1981）
[24] Plotkin，G.：可数非决定论的幂域。计算机科学讲义140（1982）·Zbl 0511.68032号
[25] Scott，D.：指称语义领域。计算机科学课堂讲稿140（1982）·Zbl 0495.68025号
[26] Winskel，G.：计算中的事件。博士论文（1980）
[27] Winskel，G.：CCS和相关语言的事件结构语义。计算机科学课堂讲稿140（1982）·Zbl 0518.68045号
[28] Winskel，G.：CCS和相关语言的事件结构语义。报告。(1982) ·Zbl 0518.68045号
[29] Winskel，G.：Petri网上态射的新定义。计算机科学课堂讲稿166（1984）·Zbl 0559.68058号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。