×
多雷尔·卢卡努

膜系统基于策略的重写语义保持了进化规则操作的最大并发性。 （英语） Zbl 1294.68081号

Middeldorp，Aart（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记237107-125（2009）。
摘要：我们使用模态逻辑来证明基于策略的膜系统重写语义完全保留了进化规则动作的最大并发性，而通信动作和结构动作的最大并行性部分保留。因此，基于策略的重写语义比基于重写逻辑的语义更能真实地描述膜系统的行为。众所周知，基于重写逻辑的语义仅通过交叉并发来实现膜系统中进化规则的最大并发。对于两种基于重写的语义，通信和结构操作的并发度是相同的。
关于整个系列，请参见[Zbl 1280.68031号].

引用于4文件

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
03B45号 模态逻辑（包括规范逻辑）
03B70号 计算机科学中的逻辑
第68季度第42季度 语法和重写系统
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

重写策略;策略控制器;膜系统;模态逻辑;真正的并发;重写逻辑
PDF格式BibTeX公司 XML格式引用
\textit{D.Lucanu}，电子。注释Theor。计算。科学。237107-125（2009年；Zbl 1294.68081）
全文： DOI程序
OA许可证

参考文献：

[1] Agrigoroaiei，O.和G.Ciobanu，具有促进剂和抑制剂的膜系统的重写逻辑规范WRLA程序; Agrigoroaiei，O.和G.Ciobanu，用启动子和抑制剂重写膜系统的逻辑规范WRLA程序·Zbl 1347.68125号
[2] 安德烈，O。；乔巴努，G。；Lucanu，D.，通过重写策略表达P系统的控制机制，（Hoogeboom，H.J.；Paun，G.；Rozenberg，G；Salomaa，A.，膜计算研讨会，计算机科学讲稿，4361（2006）），154-169·Zbl 1187.68223号
[3] 安德烈，O。；乔巴努，G。；卢卡努，D.，膜系统操作语义的重写逻辑框架，理论计算机科学，373，163-181（2007）·Zbl 1111.68064号
[4] 安德烈·卢卡努（Andrei，O.和D.Lucanu），膜系统的基于策略的证明演算WRLA会议记录; 安德烈·卢卡努（Andrei，O.和D.Lucanu），膜系统的基于策略的证明演算WRLA程序·Zbl 1347.68126号
[5] 巴德，F。；Nipkow，T.，《术语重写和所有这些》（1998），剑桥大学出版社
[6] （Bezem，M.；Klop，J.；de Vrijer，R.，《术语重写系统》，《剑桥理论计算机科学丛书》，I（2003），剑桥大学出版社）·Zbl 1030.68053号
[7] 布胡拉，A。；Jouannaud，J.-P。；Meseguer，J.，《隶属关系方程逻辑的规范和证明》，《理论计算机科学》，23635-132（2000）·Zbl 0938.68057号
[8] 布鲁尼，R。；Meseguer，J.，《广义重写理论的语义基础》，《理论计算机科学》，360386-414（2006）·Zbl 1097.68051号
[9] Goguen，J.A。；Meseguer，J.，《有序代数I：多重继承、重载、例外和部分运算的等式演绎》，理论计算机科学，105，217-273（1992）·兹比尔0778.68056
[10] Gross，J.L。；Yellen，J.，《图论手册》（2003），CRC出版社
[11] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，ACM的J.，32，137-161（1985）·Zbl 0629.68021号
[12] Lodaya，K。；Mukund，M。；拉马努贾姆，R。；Thiagarajan，P.，真正并发的模型和逻辑，（Thiagarajan，P.，并发的一些模型和逻辑（1991），并发的代数、逻辑和范畴基础高级学院：并发的代数、逻辑和范畴基础高级学院Gargnano del Garda）·兹比尔1075.68604
[13] D.卢卡努。，基于逻辑的膜系统语义重写与最大并发布拉格膜计算国际研讨会论文集; D.卢卡努。，基于逻辑的膜系统语义重写与最大并发布拉格膜计算国际研讨会论文集
[14] Martí-Oliet，N.、J.Meseguer和A.Verdejo，重写莫德策略的语义WRLA程序; Martí-Oliet，N.、J.Meseguer和A.Verdejo，Maude策略的重写语义WRLA程序
[15] Meseguer，J.，作为并发统一模型的条件重写逻辑，理论计算机科学，96，73-155（1992）·Zbl 0758.68043号
[16] Meseguer，J.，《重写逻辑作为并发的语义框架：进展报告》，（第七届并发理论国际会议论文集，第七届并行理论国际会议文献集，计算机科学讲义，1119（1996）），331-372·兹比尔1514.68175
[17] Meseguer，J.，成员代数作为方程规范的逻辑框架，（Parisi-Presicce，Francesco，WADT.WADT，计算机科学讲稿，1376（1997）），18-61·Zbl 0903.08009号
[18] Paun，G.，《膜计算》。简介（2002），施普林格·Zbl 1034.68037号
[19] 罗什乌·G·。，K： 基于重写的计算框架-初步版本; 罗什乌·G·。，K： 基于重写的计算框架-初步版本
[20] ⑩erbénuţ\355 ;Ņ，T.F.，G.ötefénescu和G.Rošu，使用K格式的结构化数据定义和执行P系统2008年WMC; ⑩erbénuţ\355 ;Ņ，T.F.，G.ötefénescu和G.Rošu，使用K格式的结构化数据定义和执行P系统2008年WMC
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。