×
P.德加诺。；R·德·尼古拉。；美国蒙塔纳里。

CCS的部分排序语义。 （英语） Zbl 0701.68073号

西奥。计算。科学。 75，第3期，223-262（1990年）.
摘要：提出了一种新的“纯”CCS操作语义，将并行算子视为第一类算子，并允许用偏序描述演算。新的语义（也适用于无防护的代理）是通过偏序派生关系以SOS样式给出的。CCS代理被分解为多组顺序子代理。新的派生关系到子代理集，并描述了它们的行为以及它们之间的因果依赖关系。通过组合偏序派生得到的计算可以作为事件的交错或偏序来“观察”。交错与Milner的多步推导一致，偏序的“线性化”都是且仅是交错。通过引入保持并发的观测等价关系和同余关系，得到了抽象语义。这些关系比Milner的关系更好，因为它们将顺序不确定代理的交错与并发执行区分开来。

引用于23文件

MSC公司：

第68季度55 计算理论中的语义学
06年06月06日 部分订单，通用
68甲15 编程语言理论
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

关键词：

通信系统演算；并发；语义学；偏序推导关系；多步导数；观察等价
PDF格式BibTeX公司 XML格式引用
\textit{P.Degano}等人，Theor。计算。科学。75，第3号，223--262（1990；Zbl 0701.68073）
全文： 内政部

参考文献：

[1] Austry，D。；Boudol，G.，进程与同步算法，定理。计算。科学。，30, 91-131 (1984) ·Zbl 0533.68026号
[2] 布多尔，G。；Castellani，I.，《关于并发的语义：部分顺序和转换系统》，Theoret。计算。科学。，59, 25-84 (1988) ·Zbl 0678.68078号
[3] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.D.，《通信顺序过程理论》，J.ACM，31560-599（1984）·Zbl 0628.68025号
[4] Bergstra，J.A.（伯格斯特拉，J.A.）。；Klop，J.-W.，同步通信的进程代数，Inform。和控制，60，109-137（1984）·Zbl 0597.68027号
[5] Broy先生。；Steicher，T.，《分布式系统的观点》，（Venturini Zilli，M.，Proc.并行语义数学模型高级学校，Proc.平行语义数学模型高等学校，计算机科学讲义，280（1987），Springer:Springer Berlin），114-143·Zbl 0626.68012号
[6] 卡斯特拉尼，I。；Hennessy，M.，《分布式双模拟》，J.ACM，36887-911（1989）·Zbl 0697.68076号
[7] Darondeau，Ph；Degano，P.，因果树，（Ausiello，G.，Proc.16th ICALP.Proc.16st ICALP，Teach Notes in Computer Science，372（1989），Springer:Springer Berlin），234-248
[8] 德加诺，P。；德尼古拉，R。；Montanari，U.，《CCS的偏序推导》（Proc.FCT.Proc.FCT，计算机科学讲义，199（1985），Springer:Springer-Berlin），520-533·Zbl 0701.68073号
[9] 德加诺，P。；德尼古拉，R。；Montanari，U.，并发模型的观察性等价，（Wirsing，M.，编程概念的形式描述III（1987），北荷兰：北荷兰阿姆斯特丹），105-132
[10] 德加诺，P。；德尼古拉，R。；Montanari，U.，CCS是一个（增强的）非接触式C/E系统，（Venturini Zilli，M.，Proc.Advanced School on Mathematical Models for the Semantics of Parallelism.Proc.Advance School of Mathematic Models for Semantic of Parallilism，计算机科学讲义，280（1987），Springer:Springer Berlin），144-165·Zbl 0635.68058号
[11] 德加诺，P。；德尼古拉，R。；Montanari，U.，基于条件/事件系统的CCS分布式操作语义，Acta Inform。，26, 59-91 (1988) ·Zbl 0656.68061号
[12] 德加诺，P。；德尼古拉，R。；Montanari，U.，《关于真正并发操作语义和指称语义的一致性》，Proc。LICS’88，133-141（1988），爱丁堡
[13] De Cindio，F。；De Michelis，G。；Pomello，L。；Simone，C.，Milner的通信系统和Petri网，（第三届欧洲Petri网应用和理论研讨会论文集，IF，66（1983），Springer-Verlag:Springer-Verlag-Heidelberg），40-59·Zbl 0521.68059号
[14] 德加诺，P。；Gorrieri，R。；Marchetti，S.，《并发实践：作为条件/事件系统的CSP进程》（Rozenberg，G.，《Petri网的进展》，1988年）。Petri网进展1988，计算机科学讲稿，340（1988），施普林格：施普林格柏林），85-105·Zbl 0668.68069号
[15] 德尼古拉，R。；Hennessy，M.，《过程等效性测试》，Theoret。计算。科学。，34, 83-133 (1984) ·Zbl 0985.68518号
[16] Darondeau博士。；Kott，L.，《关于公平并行的观察语义》，（Diaz，J.，Proc.10th ICALP.Proc.10st ICALP，Leach Notes in Computer Science，154（1983），Springer:Springer Berlin），147-151·兹伯利0518.68014
[17] 德加诺，P。；Montanari，U.，基于图重写的分布式系统模型，J.ACM，34，411-449（1987）
[18] 德加诺，P。；Montanari，U.，《并发历史：观察分布式系统的基础》，计算机杂志。系统科学。，34442-461（1987年）·Zbl 0619.68017号
[19] 美国高尔茨。；Mycroft，A.，《关于CCS和Petri网的关系》，（Paredaens，J.，Proc.11th ICALP.Proc.11st ICALP，Leach Notes in Computer Science，172（1984），Springer:Springer Berlin），196-208·Zbl 0562.68049号
[20] 美国高尔茨。；Reisig，W.，Petrinets的非顺序行为，Inform。和控制，57，125-147（1983）·兹伯利0551.68050
[21] 范·格拉贝克，R。；Vaandrager，F.，并发代数理论的Petri网模型，（de Bakker，J.W.；Nijman，A.J.；Trelevan，P.C.，Proc.PARLE Conf.Proc.PARRE Conf..，计算机科学讲稿，259（1987），Springer:Springer Berlin），224-242·Zbl 0633.68054号
[22] Hennessy，M.，《过程的代数理论》（1988），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0744.68047号
[23] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，J.ACM，32，137-161（1985）·Zbl 0629.68021号
[24] Lamport，L.，《分布式系统中的时间、时钟和事件排序》，通信ACM，12558-564（1978）·Zbl 0378.68027号
[25] Lamport，L.，时间逻辑有什么用？，（Mason，R.E.A.，《83年IFIP大会议事录》（1983年），北荷兰：北荷兰阿姆斯特丹），657-668
[26] Mazurkiewiez，A.，并发程序模式及其解释，Proc。奥胡斯并行程序验证研讨会（1977年）
[27] Milner，R.，通信系统微积分，（计算机科学讲义，92（1980），施普林格：施普林格柏林）·Zbl 0452.68027号
[28] Miller，R.，《同步与异步演算》，Theoret。计算。科学。，25, 267-310 (1983) ·Zbl 0512.68026号
[29] Milner，R.，通信系统微积分讲座，（Broy，M.，《控制流和数据流：分布式编程的概念》，控制流和信息流：分布式程序设计的概念，北约ASI系列F，14（1985），Springer:Springer-Berlin），205-228·Zbl 0609.68021号
[30] Milne，G.，《CIRCAL与通信、并发和时间的表示》，ACM TOPLAS，7270-298（1985）·Zbl 0562.68017号
[31] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域，第一部分，理论。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号
[32] Nivat，M.，《过程的行为和过程的同步系统》（Broy，M.；Schmidt，G.，《程序设计方法论的理论基础》（1982），Reidel:Reidel Dordrecht），473-550
[33] Olderog，E.-R。；Hoare，C.A.R.，《通信过程的面向规范的语义》，《信息学报》。，23, 9-66 (1986) ·Zbl 0569.68019号
[34] Olderog，E.-R.，《CCSP的操作Petri网语义》（Rozenberg，G.，《Petri网进展》1987）。Petri网进展1987，计算机科学讲义，266（1987），施普林格：施普林格柏林），196-223·Zbl 0636.68072号
[35] Park，D.，无限序列上的并发与自动机，（Proc.GI.Proc.GI，计算机科学讲稿，104（1981），Springer:Springer-Berlin），167-183·Zbl 0457.68049号
[36] Petri，C.A.，并发，（网络理论和应用，网络理论与应用，计算机科学课堂讲稿，84（1980），施普林格：施普林格-柏林），1-19·Zbl 0434.68041号
[37] Plotkin，G.，《操作语义的结构方法》（技术报告DAIMI FN-19（1981），奥胡斯大学计算机科学系：奥胡斯学院计算机科学系）·Zbl 1082.68062号
[38] Pratt，V.，用部分订单建模并发，国际。J.并行编程，15，33-71（1986）·Zbl 0622.68034号
[39] Shields，M.W.，《非连续行为I》（内部报告CSR-120-82（1982），爱丁堡大学计算机科学系）·兹伯利0562.68061
[40] Winkowski，J.，并发系统的行为，理论。计算。科学。，12, 39-60 (1980) ·Zbl 0445.68044号
[41] Winskel，G.，《CCS和相关语言的事件结构》（Nielsen，M.；Schmidt，E.M.，Proc.9th ICALP.Proc.9st ICALP，Leach Notes in Computer Science，140（1982），Springer:Springer Berlin），561-576·Zbl 0518.68045号
[42] Winskel，G.，Petri网，代数，形态和合成，Inform。和控制，72，197-238（1987）·Zbl 0622.68052号
[43] Rabinovich，A。；Trakhtenbrot，B.A.，行为结构和网络，基金。通知。，十一、 4357-403（1988）·兹比尔0657.68068
[44] 布多尔，G。；Castellani，I.，基于已证明的转换的CCS非干涉语义，基金会。通知。，十一、 4433-452（1988）·Zbl 0657.68066号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。