×
奥纳·安德烈;赫莱内·基什内尔

带端口的多重图的重写演算。 （英文） Zbl 1286.68256号

Visser，Joost（编辑）等人，第八届基于规则的编程国际研讨会论文集（rule 2007），法国巴黎，2007年6月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记219，67-82（2008）。
摘要：在本文中，我们定义了带端口的标记多图，这是一种为节点指定连接点并允许多条边和多个循环的图模型。这些结构的动态演化用多图重写规则和多图重写关系表示。然后，我们使用代数项和项重写对多图和多图重写进行编码，以提供多图重写关系的操作语义。这个术语版本可以嵌入重写演算中，从而为标记的多重图转换定义一种高级模式演算，称为\（\rho_｛mg｝\）-演算。
关于整个系列，请参见[Zbl 1280.68048号].

引用于8文件

MSC公司：

2012年第68季度 语法和重写系统
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

带端口的多重图;多重图重写;项重写;重写微积分

软件：

汤姆;图形ML
PDF格式BibTeX公司 XML格式引用
\textit{O.Andrei}和\textit{H.Kirchner}，电子。注释Theor。计算。科学。219、67-82（2008年；Zbl 1286.68256）
全文： 内政部

参考文献：

[1] 安德烈，O。；Ibanescu，L。；Kirchner，H.，《非侵入式形式方法和化学应用的战略改写》，（Futatsugi，K.；Jouannaud，J.-P.；Meseguer，J.，《代数、意义和计算》，《在约瑟夫·a·戈根65岁生日之际献给他的论文》。Goguen在65岁生日之际，LNCS，4060（2006），194-215·Zbl 1132.68319号
[2] 安德烈，O。；Kirchner，H.，《带端口的标记多重图的重写演算》，Long版，网址：·Zbl 1286.68256号
[3] Andrei，O.和H.Kirchner，分子图的重写规则和策略; Andrei，O.和H.Kirchner，分子图的重写规则与策略
[4] 巴德，F。；Nipkow，T.，《术语改写和所有这些》（1998年），剑桥大学出版社
[5] Balland，E.和P.Brauner，使用相对位置在Tom中重写Term图第四届使用术语和图形进行计算国际研讨会-TERMGRAPH的前期制作; Balland，E.和P.Brauner，使用相对位置在Tom中重写Term图第四届使用术语和图形进行计算国际研讨会-TERMGRAPH的前期制作
[6] Balland，E.、P.Brauner、R.Kopetz、P.-E.Moreau和A.Reilles，Tom:Piggybacking在Java上重写出现在RTA程序中; Balland，E.、P.Brauner、R.Kopetz、P.-E.Moreau和A.Reilles，Tom:Piggybacking在Java上重写出现在RTA程序中
[7] 布林诺夫，M.L。；杨，J。；费德，J.R。；Hlavacek，W.S.，生物化学网络基于规则建模的图论，（Priami，C.；Ingólfsdóttir，A.；Mishra，B.；Nielson，H.R.，T.Comp.系统生物学VII.T.Comp系统生物学VII，LNCS，4230（2006）），89-106
[8] O.伯内兹。；Ibanescu，L。；Kirchner，H.，《从化学规则到术语重写》，ENTCS，147113-134（2006）·Zbl 1276.68088号
[9] Brandes，美国。；艾格尔斯佩格，M。；赫尔曼，I。；Himsolt，M。；Marshall，M.S.，《GraphML进度报告：结构层建议》（Graph Drawing.Graph Drafing，LNCS，2265（2002）），501-512·Zbl 1054.68543号
[10] 西斯塔，H。；Kirchner，C.，重写演算-第一部分和第二部分，IGPL逻辑杂志，9427-498（2001）
[11] 希尔斯塔，H。；基什内尔，C。；利库里，L。；Wack，B.，重写演算中的重写策略，ENTCS，86，593-624（2003）·Zbl 1270.68122号
[12] Corradini，A。；蒙塔纳里，美国。；罗西，F。；Ehrig，H。；赫克尔，R。；Löwe，M.，《图形变换的代数方法——第一部分：基本概念和双推出方法》，（Rozenberg，G.，《通过图形变换的图形语法和计算手册》，第1卷：基础（1997），《世界科学》，163-246·Zbl 0908.68095号
[13] Danos，V。；Laneve，C.，《形式分子生物学》，TCS，32569-110（2004）·Zbl 1071.68041号
[14] Goguen，J.A。；Meseguer，J.，《有序代数I：多重继承、重载、例外和部分运算的等式演绎》，TCS，105，217-273（1992）·Zbl 0778.68056号
[15] 基什内尔，C。；Kirchner，H.，重写，求解，证明，网址：
[16] 基什内尔，H。；Moreau，P.-E.，《促进重写为编程语言：结合交换理论中非确定性重写程序的编译器》，J.Funct。程序。，207-251年11月（2001年）·Zbl 0979.68055号
[17] Milner，R.，《双图反应系统》（Larsen，K.G.；Nielsen，M.，CONCUR’01）。CONCUR’01，LNCS，2154（2001）），16-35·Zbl 1006.68080号
[18] Schürr，A.，Programmed Graph Replacement Systems，（Rozenberg，G.，《图形语法和图形转换计算手册》，第1卷：基础（1997），世界科学出版社），479-546·Zbl 0908.68095号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。