尼尔森,莫根斯;戈登·普洛金;格林·温斯克尔 Petri网、事件结构和域。一、。 (英语) Zbl 0452.68067号 西奥。计算。科学。 13, 85-108 (1981). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于233文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 68N25号 操作系统理论 关键词:因果网;Petri网;并发;事件;信息领域 PDF格式BibTeX公司 XML格式引用 \textit{M.Nielsen}等人,Theor。计算。科学。13、85——108(1981年;Zbl 0452.68067) 全文: 内政部 参考文献: [1] Best,E.,《关于非连续过程特征的定理》(纽卡斯尔大学计算实验室技术报告第116号(1977年))·兹比尔0449.68022 [2] Goguen,J.A。;撒切尔,J.W。;Wright,J.B.,《初始代数语义和连续代数》,J.ACM,24,1,68-95(1977)·Zbl 0359.68018号 [3] Grätzer,G.,晶格理论(1971),弗里曼:弗里曼纽约·Zbl 0385.06015号 [4] Holt,A.W.,《信息系统理论项目最终报告》(技术报告RADC-TR-68-305(1968),格里菲斯空军基地罗马空军开发中心:纽约格里菲斯陆军基地罗马空军发展中心) [5] 卡恩,G。;Plotkin,G.D.,Domaines concret,(研究报告第336号(1978年),IRIA:巴黎IRIA) [6] Markowsky,G。;Rosen,B.,链完备偏序集的基础,IBM J.Res.Develop。,20, 138-147 (1976) ·Zbl 0329.06001 [7] Mazurkiewicz,A.,并发程序方案及其解释,(DAIMI PB-78(1977),奥胡斯大学出版) [8] Milne,G。;Milner,R.,《并发进程及其语法》,J.ACM,26,2,302-321(1979)·Zbl 0395.68030号 [9] Petri,C.A.,非连续过程,(Krause,P.;Low,J.,内部报告GMD-ISF-77-05 Bonn(1977),纽伦堡爱尔兰大学),8 [10] Petri,C.A.,《一般网络理论》。通信学科,(Shaw,B.,《1976年(1977年)纽卡斯尔大学-纽卡斯尔分校IBM联合研讨会程序》,纽卡斯尔-乌邦-泰恩大学)·Zbl 1027.68642号 [11] Petri,C.A.,《作为系统思维基础的并行性》,《内部报告》(1978年),GMD-ISF-76-06·Zbl 0434.68041号 [12] Scott,D.,《计算数学理论概述》,Proc。第四届普林斯顿信息科学与系统年会,169-176(1970) [13] Scott,D.,流图的格,(Engeler,E.,算法语言语义研讨会。算法语言语义会议,数学课堂讲稿,188(1971),Springer:Springer New York),311-366·Zbl 0228.68016号 [14] Scott,D.,作为格的数据类型,SIAM J.Compute。,5, 522-587 (1976) ·Zbl 0337.02018号 [15] Stoy,J.E.,《指称语义学:编程语言理论的Scott-Strachey方法》(1978年),麻省理工学院出版社:麻省理学院出版社剑桥·Zbl 0503.68059号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。