尼尔森，莫根斯;戈登·普洛金;格林·温斯克尔 Petri网、事件结构和域。一、。 （英语） Zbl 0452.68067号 西奥。计算。科学。 13, 85-108 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于232文件 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68N25号 操作系统理论 关键词：因果网;Petri网;并发;事件;信息领域 PDF格式BibTeX公司 XML格式引用 \textit｛M.Nielsen｝等人，Theor。计算。科学。13、85——108（1981年；Zbl 0452.68067） 全文： 内政部 参考文献： [1] Best，E.，《关于非连续过程特征的定理》（纽卡斯尔大学计算实验室技术报告第116号（1977年））·Zbl 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，（Recherche Rapport de 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] 米尔恩，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] 佩特里，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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。