×
罗伯托·戈里埃里；乌戈·蒙塔纳里

网络计算中并发计算的实施：两个案例研究。 （英语） Zbl 0873.68144号

西奥。计算。科学。 141，第1-2期，195-252（1995）.
摘要：并发结石，如CCS，是根据标记的过渡系统来定义的；类似地，我们在这里引入了网络（或分布式）微积分的概念，它是通过位置/转换Petri网定义的。作为第一个案例研究，提出了一种简单的网络演算，称为SCONE。研究了SCONE与CCS子集（无限制和重新标记）之间的关系，即RCCS，表明RCCS可以通过从RCCS的过渡系统到SCONE的网络的适当映射在SCONE中实现。特别是，全局选择的复杂CCS操作是根据本地选择的SCONE细粒度操作实现的，这明确了这样一个事实，即某些CCS转换是作为SCONE计算来实现的，以原子方式执行。结果是RCCS代理的有限网络实现。通过使RCCS转换系统的商与实现映射相匹配，我们导出了RCCS的真正并发语义。第二个案例研究涉及限制和重新标记的扩展。生成的网络演算称为SCONE（^{+}），它被用作完整CCS的实现语言。由实现映射导出的真正并发语义被证明与所谓的“转换置换”语义一致。

引用于7文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学
第68季度10 计算模式（非确定性、并行、交互式、概率性等）

关键词：

Petri网；RCCS公司

软件：

联合
PDF格式BibTeX公司 XML格式引用
\textit{R.Gorrieri}和\textit{U.Montanari}，Theor。计算。科学。141，编号1--2，195-252（1995；Zbl 0873.68144）
全文： 内政部

参考文献：

[1] Banátre，J.P。；Le Matayer，D.，《多集变换编程》，美国通信协会，36，98-111（1993）
[2] Berry，G。；Boudol，G.，《化学抽象机》，理论。计算。科学。，96, 217-248 (1992) ·Zbl 0747.68013号
[3] 贝斯特，E。；Devillers，R.，《Petri网理论中的顺序和并发行为》，Theoret。计算。科学。，55, 87-136 (1987) ·Zbl 0669.68043号
[4] Blanco，C.，Hacer Explícita la Elección Atómica de CCS Facilita la Construcción de Ordenes Parciales，（硕士论文（1988），ESLAI:ESLAI布宜诺斯艾利斯）
[5] Boudol，G.等人。；Catellani，I.，《转换的排列：CCS和SCCS的事件结构语义》， （Proc.REX School/Workshop on Linear Time，Branching Time and Partial Order in Logics and Models for Concurrency）（《关于逻辑中线性时间、分支时间和偏序以及并发模型的REX学校/研讨会》Proc.REX School/Workshop onLinear Time，BranchingTime and Partional Order in逻辑学以及Concu Models for Logics）雷纳西。程序。REX学校/并行逻辑和模型中线性时间、分支时间和偏序研讨会，Noordwijkerhout，计算机科学讲稿，第354卷（1989），Springer:Springer-Berlin），411-437·Zbl 0683.68029号
[6] Boudol，G.等人。；Castellani，I.，CCS的三个等价语义，（Proc.18th Ecole de Printemps sur la Semostic de Parallelism，Proc.18st Ecole de-Printemps sor la Semonsity de Parallilism，la Roche-Posay.Proc.18ht Ecole des-Printemp sur la SEmostic de-Parallelism.Proc.18 The Ecole der Printemps-sur la Samocalism，《计算机科学讲义》，第469卷（1990），施普林格：柏林施普林格），96-141
[7] 北卡罗来纳州Carriero。；Gelerntner，D.，Linda in context，Comm.ACM，32，444-458（1989）
[8] Chandy，M。；Misra，J.，并行程序设计（1988），Addison-Wesley：Addison-Whesley Reading，MA·兹伯利0717.68034
[9] Cherkasova，L.，《具有非作用的Posets:并发非确定性过程的模型》，Arbeitspapiere der GMD no.403（1989）
[10] Corradini，A。；法拉利，G.L。；Montanari，U.，以代数结构作为计算模型的过渡系统，（《第18届平行主义初级学院学报》、《第18期平行主义高级学院学报》和《罗氏-波塞大学学报》、第18届并行主义高级学院出版社、《第十八届平行主义中级学院学报》，《罗氏-Posay大学学报》，第469卷（1990年），施普林格：施普林格柏林），185-222
[11] Degano，P。；德尼古拉，R。；Montanari，U.，《CCS的偏序推导》（Proc.FCT’85）。程序。FCT’85，计算机科学讲义，第199卷（1985），施普林格：施普林格柏林），520-533·Zbl 0701.68073号
[12] Degano，P。；德尼古拉，R。；Montanari，U.，基于条件/事件系统的CCS分布式操作语义，Acta Inform。，26, 59-91 (1988) ·Zbl 0656.68061号
[13] Degano，P。；德尼古拉，R。；Montanari，U.，非确定性并发系统的偏序描述， （Proc.REX学校/关于逻辑和并发模型中的线性时间、分支时间和偏序的研讨会。Proc.REX学校/关于逻辑和并发模型中的线性时间、分支时间和偏序的研讨会，Noordwijkerhout。Proc.REX学校/关于逻辑和并发模型中的线性时间、分支时间和偏序的研讨会相关性。程序。REX学校/研讨会：逻辑中的线性时间、分支时间和偏序以及并发模型，Noordwijkerhout，计算机科学讲稿，第354卷（1989），Springer:Springer-Berlin），438-466·Zbl 0683.68067号
[14] Degano，P。；尼古拉·R。；Montanari，U.，CCS的部分排序语义，Theoret。计算。科学。，75, 223-262 (1990) ·Zbl 0701.68073号
[15] Degano，P。；Gorrieri，R。；Marchetti，S.，《并发实践：作为条件/事件系统的CSP进程》(Petri网的研究进展1988Petri网的研究进展1988年，计算机科学讲义，第340卷（1988），施普林格：施普林格柏林），85-105·Zbl 0668.68069号
[16] Degano，P。；梅塞盖尔，J。；Montanari，U.，《公理化网络计算和过程》（Proc.Logic in Computer Science，LICS’89）。程序。计算机科学中的逻辑（LICS’89），Asilomar（1989），175-185·Zbl 0722.68085号
[17] Ferrari，G.，《统一并发模型》，（博士论文（1990），Dip。di Informatica：学位。di Informatica Pisa），TD 4/90
[18] 费拉里，G。；Montanari，U.，《走向并发模型的统一》（Proc.Coll.on Algebra and Trees in Prog.（CAAP'90）。程序。科尔。程序中的代数和树。（CAAP’90），哥本哈根。程序。科尔。程序中的代数和树。（CAAP’90）。程序。科尔。程序中的代数和树。（CAAP’90），哥本哈根，计算机科学讲义，第431卷（1990），施普林格：施普林格柏林），162-176·Zbl 0758.68027号
[19] Goltz，U.，Un ber die Darstellung von CCS-Programmen durch Petrinetze（博士论文（1988）），完整版本
[20] 美国高尔茨。；Mycroft，A.，《关于CCS和Petri网的关系》，（Proc.11th Int.Conf.On Automata，Languages and Programming（ICALP’84）。程序。第11届国际自动机、语言和编程会议（ICALP’84），计算机科学讲义，第172卷（1984），施普林格：施普林格柏林），196-208·Zbl 0562.68049号
[21] 美国高尔茨。；Reisig，W.，Petri网的非顺序行为，Inform。和控制，57，125-147（1983）·Zbl 0551.68050号
[22] 美国高尔茨。；Rensink，A.，《有限Petri网作为递归因果行为的模型》（Arbeitspapiere der GMD no.604）。Arbeitspapiere der GMD编号604，Theoret。计算。科学。，124 (1994)), 169-179 ·Zbl 0795.68146号
[23] Gorrieri，R.，《过程描述语言的精化、原子性和事务》，（博士论文（1991），比萨大学信息学院，TD-2/91
[24] Gorrieri，R。；马尔切蒂，S。；Montanari，U.，\（A^2 \）CCS：CCS的原子作用，定理。计算。科学。，72203-223（1990年）·Zbl 0698.68029号
[25] Gorrieri，R。；Montanari，U.，SCONE:简单的网演算（Proc.CONCUR’90）。程序。CONCUR’90，阿姆斯特丹。程序。1990年开始。程序。CONCUR’90，阿姆斯特丹，计算机科学讲义，第458卷（1990），施普林格：施普林格柏林），2-30
[26] Gorrieri，R。；Montanari，U.，CCS的分布式实现，（Petri网进展，1993年）。Petri网进展1993，计算机科学讲义，第674卷（1993），施普林格：施普林格柏林），244-266
[27] Keller，R.，并行程序的形式验证，美国通信协会，19561-572（1976）
[28] Kotov，V.，基于Petri网的并行代数，（计算机科学讲义，第64卷（1978年），施普林格：施普林格-柏林），39-55·Zbl 0383.68029号
[29] Lane，S.Mac，《工作数学家的类别》（1971），《施普林格：施普林格·柏林》·Zbl 0232.18001号
[30] 曼卡，V。；Salibra，A。；Scollo，G.，等式型逻辑，理论。计算。科学。，77, 1-29 (1990) ·Zbl 0716.03022号
[31] Meseguer，J.，《重写为统一的并发模型》（Proc.CONCUR’90）。程序。CONCUR’90，阿姆斯特丹。程序。1990年开始。程序。CONCUR’90，阿姆斯特丹，计算机科学讲义，第453卷（1990），施普林格：施普林格柏林），384-400
[32] 梅塞盖尔，J。；美国蒙塔纳里，Petri网是幺半群，Inform。和计算。，88, 105-155 (1990) ·Zbl 0711.68077号
[33] Milner，R.，一类正则行为的完整推理系统，J.Compute。系统科学。，28, 439-466 (1984) ·Zbl 0562.68065号
[34] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0683.68008号
[35] 蒙塔纳里，美国。；Yanklevich，D.，CCS交错和分布式操作语义的代数观点，（《计算机科学中的范畴理论第三次会议录》，《计算机科学的范畴理论的第三次大会录》，曼彻斯特·Zbl 1493.68198号
[36] Olderog，E.-R.，《网络、术语和公式》（1991），剑桥大学出版社：剑桥大学出版社，第卷·Zbl 0741.68002号
[37] Park，D.，无限序列上的并发与自动机，（Proc.GI.Proc.GI，计算机科学讲稿，第104卷（1981），Springer:Springer-Berlin），167-183·Zbl 0457.68049号
[38] Petri，C.A.，《自动化通讯》（1962），《波恩数学仪器研究所：波恩数学研究所》
[39] Plotkin，G.，《操作语义的结构方法》（《DAIMI FN-19技术报告》（1981），奥胡斯大学计算机科学系：奥胡斯学院计算机科学系）
[40] Reisig，W.，《Petri网：导论》（EACTS理论计算机科学专著（1985年），施普林格：施普林格柏林）·Zbl 0521.68057号
[41] Taubner，D.，通过自动机和Petri网对CCS和TCSP程序进行有限表示，（计算机科学讲义，第369卷（1989），施普林格：施普林格柏林）·兹伯利0684.68011
[42] Winskel，G.，《CCS和相关语言的事件结构》（Proc.9th Inf.Conf.on Automata，languages and Programming，ICALP’82）。程序。第九届自动机、语言和编程信息会议（ICALP’82），计算机科学讲义，第140卷（1982），施普林格：施普林格柏林），561-576·Zbl 0518.68045号
[43] Winskel，G.，Petri网，代数，形态和合成，Inform。和计算。，72, 197-238 (1987) ·Zbl 0622.68052号
[44] 北布西。；Gorrieri，R。；Siliprandi，G.，《通信系统中的分布式冲突》（TR-94-8（1994），博洛尼亚大学）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。