罗宾·米尔纳 纯双图：结构和动力学。 （英语） Zbl 1093.68067号 Inf.计算。 204，第1期，60-122（2006）. 摘要：双图是其节点可以嵌套的图，表示局部性，与连接它们的边无关。它们可能配备有反应规则，形成双图反应系统（Brs），在该系统中双图可以重新配置自己。继之前的一篇描述链接图（二元图的一个组成部分）的文章之后，本文致力于研究纯二元图，而纯二元图又是各种更精细形式的基础。此外，还表明，Petri网、p-演算和移动环境的行为分析都可以在双图的统一框架中恢复。本文首先发展了一种抽象结构——宽反应系统（Wrs）的动力学理论，以Brs为例。在这种情况下，标记跃迁的定义是这样的：诱导的双相似性是同余的。然后，这项工作专门针对Brss，其图形结构允许对理论进行许多改进。论文的后半部分强调了与通过标记跃迁处理动力学相关的二元论。作为一个运行示例，将该理论应用于有限纯CCS，详细分析了其生成的转换系统和双相似性。该论文还简要提到了使用bigraph对普适计算和生物系统进行建模。 引用于33文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 92B05型 普通生物学和生物数学 关键词：双图形无功系统 软件：SLMC公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}，信息计算。204，第1号，60-122（2006；Zbl 1093.68067） 全文： 内政部 链接 参考文献： [1] H.P.Barendregt，《兰姆达微积分》，收录于：《逻辑研究与数学基础》，第103卷，北荷兰，1981年。；H.P.Barendregt，《兰姆达微积分》，收录于：《逻辑研究与数学基础》，第103卷，北荷兰，1981年·Zbl 0467.03010号 [2] Bergstra，J.A.（伯格斯特拉，J.A.）。；Klop，J.W.，《用抽象传递过程的代数》，《理论计算机科学》，3777-121（1985）·Zbl 0579.68016号 [3] Berry，G。；Boudol，G.，《化学抽象机》，《理论计算机科学杂志》，96，217-248（1992）·Zbl 0747.68013号 [4] L.Birkedal，T.Hildebrandt，双图形编程语言。LaCoMoCo.itu.dk，丹麦信息技术大学上下文相关移动通信实验室，2004年。；L.Birkedal，T.Hildebrandt，双图形编程语言。LaCoMoCo.itu.dk，上下文相关移动通信实验室，丹麦IT大学，2004年。 [5] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，《ACM杂志》，31560-599（1984）·Zbl 0628.68025号 [6] L.Cardelli，《生物软件语言》，收录于：《计算机系统：理论、技术和应用》，罗杰·李约瑟论文，《Springer计算机科学专著》，第6页，2003年。；L.Cardelli，《生物软件语言》，收录于：《计算机系统：理论、技术和应用》，罗杰·李约瑟论文集，施普林格计算机科学专著，第6页，2003年。 [7] L.Caires，L.Cardelli，并发的空间逻辑（第一部分），摘自：第四届计算机软件理论方面国际研讨会论文集，讲稿和计算机科学，第2215卷，Springer，第1-37页。；L.Caires，L.Cardelli，并发的空间逻辑（第一部分），摘自：第四届计算机软件理论方面国际研讨会论文集，讲稿和计算机科学，第2215卷，Springer，第1-37页·Zbl 1087.03507号 [8] L.Cardelli，A.D.Gordon，《移动环境》。《系统规范和计算结构基础》，讲稿和计算机科学，第1378卷，第140-155页。；L.Cardelli，A.D.Gordon，《移动环境》。系统规范和计算结构基础，讲义和计算机科学，第1378卷，第140-155页。 [9] Castellani，I.，《带局部的过程代数》（Bergstra；Ponse；Smolka，《过程代数手册》（2001），Elsevier:Elsevier Amsterdaam），947-1045·Zbl 1062.68078号 [10] G.L.Cattani，J.J.Leifer，R.Milner，封闭浅动作图的上下文和嵌入。剑桥大学计算机实验室，技术报告496。可从以下位置获得：<http://pauillac.iria.fr/莱弗；G.L.Cattani，J.J.Leifer，R.Milner，封闭浅动作图的上下文和嵌入。剑桥大学计算机实验室，技术报告496。可从以下位置获得：<网址：http://pauillac.inria.fr/雷弗 [11] G.Conforti，D.Macedonio，V.Sassone，《双逻辑：双图的空间-名词逻辑》，2005年。手稿，网址：http://www.informatics.sussex.ac.uk/users/vs; G.Conforti，D.Macedonio，V.Sassone，《双逻辑：双图的空间-名词逻辑》，2005年。手稿，网址：http://www.informatics.sussex.ac.uk/users/vs ·Zbl 1084.68081号 [12] F.Drewes，B.Hoffmann，D.Plump，层次图转换，in：软件科学和计算结构基础，计算机系列讲座笔记，第1784卷，Springer，柏林，2000。；F.Drewes，B.Hoffmann，D.Plump，层次图转换，收录于：软件科学和计算结构基础，计算机系列讲座笔记，第1784卷，施普林格，柏林，2000年·Zbl 0961.68106号 [13] H.Ehrig，图文法理论导论，in：图文法及其在计算机科学和生物学中的应用，《计算机系列讲义》，第73卷，柏林斯普林格，第1-69页。；H.Ehrig，《图形语法及其在计算机科学和生物学中的应用》，《计算机系列讲义》，第73卷，柏林斯普林格，第1-69页。 [14] H.Ehrig，Biggraphs遇到了双重推出。EATCS公告78，2002年10月，2002年，第72-85页。；H.Ehrig，Bigraphs遇到了双重推出。EATCS公告78，2002年10月，2002年，第72-85页·Zbl 1169.68450号 [15] C.Fournet，G.Gonthier，自反Cham和连接演算，载于：第23届美国计算机学会编程语言原理研讨会论文集，佛罗里达州，1996年，第372-385页。；C.Fournet，G.Gonthier，自反Cham和连接演算，载于：第23届美国计算机学会编程语言原理研讨会论文集，佛罗里达州，1996年，第372-385页。 [16] Gadducci，F。；赫克尔，R。；Llabrés Segura，M.，并发图重写的双范畴公理化，（第八届计算机科学范畴理论会议论文集（CTCS’99）。第八届计算机科学范畴理论会议论文集（CTCS’99），TCS电子笔记，第29卷（1999），Elsevier Science:Elsevie Science Amsterdams）·Zbl 0967.68089号 [17] P.A.Gardner，《从过程计算到过程框架》，载于：CONCUR 2000年会议记录，第11届并行理论国际会议，2000年，第69-88页。；P.A.Gardner，《从过程计算到过程框架》，载于：CONCUR 2000年会议记录，第11届并行理论国际会议，2000年，第69-88页·Zbl 0999.68137号 [18] P.A.Gardner，L.Wischik，显式融合，摘自：MFCS 2000会议录，计算机系列讲稿，第1893卷，2000年，第373-383页。；P.A.Gardner，L.Wischik，《显式融合》，载于《2000年MFCS会议录》，《计算机系列讲稿》，第1893卷，2000年，第373-383页·Zbl 0996.68523号 [19] D.Hirsch，U.Montanari，《名称迁移的同步超边缘替换》，载于：《第十二届并行理论国际会议论文集》（CONCUR 2001），《计算机系列讲座笔记》，第2154卷，2001年，第121-136页。；D.Hirsch，U.Montanari，《名称迁移的同步超边缘替换》，载于：《第十二届并行理论国际会议论文集》（CONCUR 2001），《计算机系列讲座笔记》，第2154卷，2001年，第121-136页·Zbl 1006.68538号 [20] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔SA·Zbl 0637.68007号 [21] O.H.Jensen，即将发表的博士论文，2005年。；O.H.Jensen，即将发表的博士论文，2005年。 [22] O.H.Jensen，R.Milner，Bigraphs and transitions，in：第30届SIGPLAN-SIGACT程序设计语言原理研讨会，2003年。；O.H.Jensen，R.Milner，Bigraphs and transitions，收录于：第30届SIGPLAN-SIGACT编程语言原理研讨会，2003年·兹比尔1321.68126 [23] O.H.Jensen，R.Milner，Biggraphs和移动流程（修订版）。技术报告UCAM-CL-TR-580，剑桥大学计算机实验室，2004。；O.H.Jensen，R.Milner，Bigraphs and mobile process（修订版）。技术报告UCAM-CL-TR-580，剑桥大学计算机实验室，2004年。 [24] Y.Lafont，交互网络，摘自：第17届ACM编程语言原理研讨会论文集（POPL'90），1990年，第95-108页。；Y.Lafont，交互网络，摘自：第17届ACM编程语言原理研讨会论文集（POPL'90），1990年，第95-108页。 [25] J.J.Leifer，反应系统的操作同余。剑桥大学计算机实验室博士论文。以修订后的形式作为技术报告521分发。可从以下位置获得：<http://pauillac.iria.fr/莱弗；J.J.Leifer，反应系统的操作一致性。剑桥大学计算机实验室博士论文。以修订后的形式作为技术报告521分发。可从以下位置获得：<http://pauillac.iria.fr/莱弗 [26] J.J.Leifer，R.Milner，《推导反应系统的互模拟同余》，载于：CONCUR 2000年会议记录，第11届并发理论国际会议，2000年，第243-258页。可从以下位置获得：<http://pauillac.iria.fr/莱弗；J.J.Leifer，R.Milner，《推导反应系统的互模拟同余》，载于：CONCUR 2000年会议记录，第11届并发理论国际会议，2000年，第243-258页。可从以下位置获得：<http://pauillac.iria.fr/莱弗·Zbl 0999.68141号 [27] J.J.Leifer、R.Milner，《过渡系统、链接图和Petri网》。技术报告598，剑桥大学计算机实验室。修订后的版本将于2006年出版《计算机科学中的数学结构》。可从以下位置获得：<http://www.cl.cam.ac.uk/users/rm135; J.J.Leifer、R.Milner，《过渡系统、链接图和Petri网》。技术报告598，剑桥大学计算机实验室。修订后的版本将于2006年出版《计算机科学中的数学结构》。可从以下位置获得：<http://www.cl.cam.ac.uk/users/rm135 ·Zbl 1107.68056号 [28] M.Merro，M.Hennessy，《安全环境中的双刺激一致性》，载：《第29届程序设计语言原理国际研讨会论文集》，俄勒冈州，2002年，第71-80页。；M.Merro，M.Hennessy，《安全环境中的双模拟一致性》，载于：第29届编程语言原理国际研讨会论文集，俄勒冈州，2002年，第71-80页·Zbl 1323.68412号 [29] 梅罗，M。；Zappa Nardelli，F.，移动环境的防互模拟方法，（ICALP 2003（2003）会议记录，施普林格：施普林格柏林）·Zbl 1039.68085号 [30] R.Milner，摘自：《通信系统的微积分》，《计算机系列讲座笔记》，第92卷，施普林格出版社，柏林，1980年。；R.Milner，摘自：通信系统微积分，计算机系列讲座笔记，第92卷，施普林格，柏林，1980年·Zbl 0452.68027号 [31] Milner，R.，《通信和移动系统：（π）-微积分》（1999），剑桥大学出版社：剑桥大学出版社·Zbl 0942.68002号 [32] Milner，R.，《互动演算》，《信息学报》，第33期，第707-737页（1996年）·Zbl 0853.68123号 [33] R.Milner，《计算通量》，载《第28届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集》，2001年，第220-221页。；R.Milner，《计算通量》，载《第28届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集》，2001年，第220-221页。 [34] R.Milner，Bigraphical reactive systems，摘自：《第十二届并行理论国际会议论文集》，《计算机系列讲稿》，第2154卷，2001年，第16-35页。；R.Milner，Bigraphical reactive systems，摘自：《第十二届并行理论国际会议论文集》，《计算机系列讲稿》，第2154卷，2001年，第16-35页·兹比尔1006.68080 [35] R.Milner，《双图反应系统：基本理论》。《技术报告503》，剑桥大学计算机实验室，2001年。可从以下位置获得：<http://www.cl.cam.ac.uk/users/rm135; R.Milner，《双图反应系统：基本理论》。《技术报告503》，剑桥大学计算机实验室，2001年。可从以下位置获得：<http://www.cl.cam.ac.uk/users/rm135 ·Zbl 1006.68080号 [36] R.Milner，Petri网的双图，摘自：Petri网高级课程论文集（Eichstaett’03），计算机系列3098中的课堂讲稿，2004年。；R.Milner，Petri网的双图，摘自：Petri网高级课程论文集（Eichstaett’03），计算机系列3098中的课堂讲稿，2004年·Zbl 1088.68125号 [37] R.Milner，《双重结构公理》。计算机科学中的数学结构（即将出版）2006。可从以下位置获得：<http://www.cl.cam.ac.uk/users/rm135; R.Milner，《双重结构公理》。计算机科学中的数学结构（即将出版）2006。可从以下位置获得：<http://www.cl.cam.ac.uk/users/rm135 [38] R.Milner，名字有多个位置的双图。技术报告TR603，剑桥大学计算机实验室，2005年。可从以下位置获得：<http://www.cl.cam.ac.uk/users/rm135; R·米尔纳，名字具有多个位置的双图。技术报告TR603，剑桥大学计算机实验室，2005年。可从以下位置获得：<http://www.cl.cam.ac.uk/users/rm135 [39] R.Milner，纯双图。《技术报告614》，剑桥大学计算机实验室，2005年。；R.Milner，纯双图。技术报告614，剑桥大学计算机实验室，2005年·Zbl 1093.68067号 [40] 米尔纳，R。；帕罗，J。；Walker，D.，《移动过程的微积分》，第一部分和第二部分，《信息与计算杂志》，100,1-40（1992）·兹伯利0752.68036 [41] D.M.R.Park，无限序列上的并发与自动机，摘自：《计算机科学讲义》，第104卷，施普林格出版社，柏林，1980年。；D.M.R.Park，无限序列上的并发与自动机，摘自：《计算机科学讲义》，第104卷，施普林格出版社，柏林，1980年。 [42] 鹦鹉，J。；Victor，B.，《融合演算：移动过程中的表现力和对称性》（1998年《LICS学报》，IEEE计算机社会出版社） [43] Priami，C.，《随机（π）演算》，《计算机杂志》，38，7，578-589（1995） [44] Priami，C。；雷格夫，A。；西尔弗曼。；Shapiro，E.，随机过程代数在分子过程生物信息学中的应用，《信息处理快报》，80，25-31（2001）·Zbl 0997.92018号 [45] A.Regev，W.Silverman，E.Shapiro，使用π表示和模拟生化过程；A.Regev，W.Silverman，E.Shapiro，使用π表示和模拟生化过程 [46] W.H.Rounds，H.Song，Φ-calculus-可重构嵌入式系统分布式控制语言，in：混合系统：计算与控制，计算机系列讲座笔记，第2263卷，Springer，柏林，2003年，第435-449页。；W.H.Rounds，H.Song，《Φ-calculus-可重构嵌入式系统分布式控制语言》，摘自：《混合系统：计算与控制》，《计算机系列讲义》，第2263卷，施普林格出版社，柏林，2003年，第435-449页·Zbl 1032.93036号 [47] D.Sangiorgi，D.Walker，《π》；D.Sangiorgi，D.Walker，《π》 [48] 萨索内，V。；Sobocinski，P.，《导出互模拟同余：一种双范畴方法》，《理论计算机科学中的电子笔记》，68，2，19（2002）·Zbl 1270.68224号 [49] P.Sewell，《从重写规则到互模拟同余》，载于《CONCUR’98会议录》，《计算机系列讲座笔记》，第1466卷，1998年，第269-284页。《理论计算机科学》，第274（1-2）卷，2002年，第183-230页。；P.Sewell，《从重写规则到互模拟同余》，载于《CONCUR’98会议录》，《计算机系列讲座笔记》，第1466卷，1998年，第269-284页。《理论计算机科学》，第274（1-2）卷，2002年，第183-230页·Zbl 0992.68122号 [50] 史密斯，H。；Fingar，P.，《业务流程管理：第三次浪潮》，亚马逊公司（2002年） [51] Terese，《术语重写系统》（2003），剑桥大学出版社·Zbl 1030.68053号 [52] P.T.Wojciechowski，P.Sewell，《游牧图片：移动代理的语言和基础设施设计》，载于：《美国广告标准协会/美国广告标准协会会议记录》，1999年，加利福尼亚州棕榈泉。；P.T.Wojciechowski，P.Sewell，《Nomadic Pict:移动代理的语言和基础设施设计》，摘自：《ASA/MA’99会议录》，加利福尼亚州棕榈泉，1999年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。