×
法比奥·加杜奇；蒙雷利，贾科玛·瓦伦蒂娜

移动环境的分散图形实现。 （英语） Zbl 1207.68224号

J.日志。阿尔盖布。程序。 80，第2期，113-136（2011）.
摘要：我们提出了一个移动环境微积分有限过程的图形实现。我们的编码使用非结构化（即非层次化）图，并且就微积分的结构同余而言，它是健全和完整的（即，当且仅当两个进程映射到同构图时，它们才是等价的）。关于移动环境的图形实现的备选方案，我们的编码将过程的语法结构与其组件的激活顺序区分开来。我们的解决方案忠实地捕获了微积分的一个基本特征（环境可以嵌套，约简可以跨嵌套传播），并且它允许通过仅包含三个规则的图形转换系统来建模约简语义。

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

图形变换；图形编码；过程结石；约简语义；结构同余

软件：

Gc平移；SLMC公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}和\textit{G.V.Monreale}，J.Log。阿尔盖布。程序。80，第2号，113--136（2011；Zbl 1207.68224）
全文： 内政部

参考文献：

[1] 哈贝尔，A。；穆勒，J。；Plump，D.，《重温双推图形变换》，《数学》。结构计算。科学。，11, 5, 637-688 (2001) ·Zbl 0987.18005号
[2] 巴尔丹，P。；Corradini，A。；Montanari，U.，《P/T上下文网络的事件结构语义：非对称事件结构》，（Nivat，Maurice，《软件科学和计算结构基础》，软件科学与计算结构基础，LNCS，第1378卷（1998），Springer），63-80·Zbl 0902.68140号
[3] Bonchi，F。；Gadducci，F。；König，B.，使用图形重写合成CCS互模拟，Inform。和计算。，207, 1, 14-40 (2009) ·Zbl 1169.68030号
[4] Bonchi，F。；Gadducci，F。；Monreale，G.V.，《反应系统倒刺语义和移动环境》，（de Alfaro，Luca，《软件科学和计算结构基础》，软件科学与计算结构基础，LNCS，第5504卷（2009），Springer），272-287·Zbl 1234.68287号
[5] 布鲁尼，R。；Gadducci，F。；Montanari，U.，连接代数的正规形式，Theoret。计算。科学。，286, 2, 247-292 (2002) ·Zbl 1061.68110号
[6] Caires，L。；Cardelli，L.，并发的空间逻辑（第一部分），Inform。和计算。，186, 2, 194-235 (2003) ·兹比尔1068.03022
[7] Cardelli，L。；Gordon，A.，《移动环境》，Theoret。计算。科学。，240, 1, 177-213 (2000) ·Zbl 0954.68108号
[8] Cenciarelli，P。；塔拉莫，I。；Tiberi，A.，《环境图重写》（Ambient graph rewriting），（Martí'-Oliet，N.，rewriting Logic and its Applications.RewritingLogic and it Applications，Electr.Notes in Theor.Comp.Sci，vol.117（2005），Elsevier），335-351·Zbl 1272.68169号
[9] Corradini，A。；Gadducci，F.，术语图的代数表示，通过gs-monoid范畴，应用。类别。结构，7，4299-331（1999）·Zbl 0949.68121号
[10] Corradini，A。；蒙塔纳里，美国。；Rossi，F.，Graph process，基金。通知。，26, 3/4, 241-265 (1996) ·Zbl 0854.68054号
[11] Corradini，A。；蒙塔纳里，美国。；罗西，F。；埃里格，H。；赫克尔，R。；Löwe，M.，图变换的代数方法I：基本概念和双推出方法，（Rozenberg，G.，《图语法和图变换计算手册》，第1卷（1997），《世界科学》，163-245
[12] Drewes，F。；哈贝尔，A。；Kreowski，H.-J.，超边缘替换图文法（Rozenberg，G.，《图文法和图变换计算手册》，第1卷（1997），《世界科学》，95-162·兹比尔0908.68095
[13] 埃里格，H。；König，B.，在DPO方法中推导互模拟同余，以使用借来的上下文重写图形，数学。结构计算。科学。，16, 6, 1133-1163 (2006) ·Zbl 1107.68055号
[14] 费拉里，G。；蒙塔纳里，美国。；Tuosto，E.，A LTS环境语义通过图形同步与移动性，（Restivo，A.；Ronchi Della Rocca，S.；Roversi，L.，意大利理论计算机科学会议，意大利理论计算科学会议，LNCS，第2202卷（2001），Springer），1-16·Zbl 1042.68615号
[15] Gadducci，F.，《微积分的图形重写》，《数学》。结构计算。科学。，17, 3, 407-437 (2007) ·Zbl 1125.68063号
[16] Gadducci，F。；Monreale，G.V.，《移动环境的分散实施》（Ehrig，H.；Heckel，R.；Rozenberg，G.；Taentzer，G..，《图形变换》，LNCS，第5214卷（2008），Springer），第115-130页·Zbl 1175.68279号
[17] Gadducci，F。；Montanari，U.，《移动环境的并发图形语义》，（Brookes，S.；Mislove，M.，《编程语义的数学基础》，《编程语义学的数学基础，电子注释》，《Theor.Com.Sci》第45卷（2001年），《Elsevier Science》）·Zbl 1260.68094号
[18] Hirschkoff，D。；Pous，D。；Sangiorgi，D.，《用于安全环境的高效抽象机》，J.Logic Algebraic Programming，71，2，114-149（2007）·Zbl 1116.68056号
[19] O.Jensen，R.Milner，《双图和移动过程》，技术报告580，剑桥大学计算机实验室，2003年。；O.Jensen，R.Milner，《双图和移动过程》，技术报告580，剑桥大学计算机实验室，2003年·Zbl 1321.68126号
[20] 列维·F。；Sangiorgi，D.，移动安全环境，ACM Trans。程序。语言系统。，25, 1, 1-69 (2003)
[21] Milner，R.，《纯双图：结构和动力学》，Inform。和计算。，204, 1, 60-122 (2006) ·Zbl 1093.68067号
[22] N.Mylonakis，F Orejas，环境演算的另一个完全抽象的图形语义，发表于2007年图形转换-验证和并发会议上。；N.Mylonakis，F Orejas，环境微积分的另一个完全抽象的图语义，在图转换-验证和并发2007上发表。
[23] 雷格夫，A。；Panina，E.M。；西尔弗曼。；Cardelli，L。；Shapiro，E.Y.，《生物环境：生物隔间的抽象》，Theoret。计算。科学。，325, 1, 141-167 (2004) ·Zbl 1069.68569号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。