文件大小：0.57 MB 19页
无功系统的条件相似性
作者
-
部分内容： 体积： 第五届计算和演绎形式结构国际会议（FSCD 2020）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 用于计算和推导的形式化结构（FSCD） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2020-06-28
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→并发 计算理论→程序推理
关键词
条件双相似性 无功系统 直接上下文 图形变换
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
吉亚·阿德梅克、菲利波·波奇、马蒂亚斯·希尔布施、芭芭拉·科尼格、斯特凡·米利乌斯和亚历山德拉·席尔瓦。 关于最小化和确定性的联合观点。 程序中。 FOSSACS’12，第58-73页。 施普林格，2012年。 LNCS/ARCoS 7213。 
-
保罗·巴尔丹、安德烈亚·布拉夏利和罗伯托·布鲁尼。 通过统一实现相互模拟。 程序中。 第254-270页。 斯普林格，2002年。 LNCS 2422。
-
Harsh Beohar、Barbara König、Sebastian Küpper和Alexandra Silva。 升级后的有条件过渡系统。 程序中。 TASE’17（软件工程的理论方面）。 IEEE Xplore，2017年。
-
菲利波·邦奇。 可观察上下文的抽象语义。 比萨大学信息学院博士论文，2008年5月。
-
Filippo Bonchi、Barbara König和Ugo Montanari。反应系统的饱和语义。 程序中。 LICS’06，第69-80页。 IEEE，2006年。
-
H.J.Sander Bruggink、Raphaöl Caudelier、Mathias Hülsbusch和Barbara König。 条件反应系统。 程序中。 FSTTCS’11，LIPIcs第13卷。 Schloss Dagstuhl-莱布尼茨信息学中心，2011年。
-
马克西姆·科迪（Maxime Cordy）、安德烈亚斯·克莱森（Andreas Classen）、吉勒斯·佩鲁因（Gilles Perrouin）、皮埃尔·伊夫斯·肖本斯（Pierre-Yves Schobbens）、帕特里克·海曼斯（Patrick Heymans）和阿克塞尔·莱吉（A。 用于软件产品线模型检查的基于仿真的抽象。 程序中。 第672-682页。 IEEE，2012年。
-
安德烈亚·科拉迪尼（Andrea Corradini）、乌戈·蒙塔纳里（Ugo Montanari）、弗朗西丝卡·罗西（Francesca Rossi）、哈特穆特·埃里格（Hartmut Ehrig）、雷科·赫克尔（Reiko Heckel）和迈克尔·洛伊。 图变换的代数方法——第一部分：基本概念和双推出方法。 罗森伯格（G.Rozenberg）主编，《图形语法和图形变换计算手册》（Handbook of Graph Grammars and Computing by Graph Transformation），第1卷：基础，第3章。 《世界科学》，1997年。
-
Hartmut Ehrig和Barbara König。 在图重写的DPO方法中导出互模拟同余。 程序中。 FOSSACS’04，第151-166页。 斯普林格，2004年。 LNCS 2987。
-
Hartmut Ehrig、Michael Ppender和Hans Jürgen Schneider。 图文法：代数方法。 第14届交换与自动机理论年度研讨会（SWAT 1973），第167-180页，1973年10月。
-
梅尔文配件。 互模拟和布尔向量。 《模态逻辑进展》，第4卷，第1-29页。 世界科学出版社，2002年。
-
安内格丽特·哈贝尔（Annegret Habel）、雷科·赫克尔（Reiko Heckel）和加布里埃尔·坦泽尔（Gabriele Taentzer）。 具有负应用条件的图形语法。 基础信息学，26（3,4）：287-3131996年12月。
-
Annegret Habel、Jürgen Müller和Detlef Plump。 重温双推图形转换。 计算机科学中的数学结构，11（5）：637-6882001年10月。
-
安内格丽特·哈贝尔（Annegret Habel）和卡尔·海因茨·彭内曼（Karl-Heinz Pennemann）。 高级转换系统相对于嵌套条件的正确性。 计算机科学中的数学结构，19（2）：245-2962009。
-
马修·轩尼诗和林惠民。象征性的相互模拟。 理论计算机科学，138（2）：353-3891995。
-
Mathias Hülsbusch和Barbara König。 推导条件反应系统的共刺激同余。 程序中。 第361-375页。 施普林格，2012年。 LNCS/ARCoSS 7213。
-
Mathias Hülsbusch、Barbara König、Sebastian Küpper和Lara Stoltenow。 反应系统的条件相似性，2020年。 arXiv:2004.11792年。 网址： https://arxiv.org/abs/2004.11792 . -
奥利·霍·詹森和罗宾·米尔纳。 双图和过渡。 程序中。 第38-49页。 ACM，2003年。
-
巴托克·克林（Bartek Klin）、弗拉迪米罗·萨松（Vladimiro Sassone）和保罗·索波辛斯基（Paweł）。 简化标签：走向一般理论。 程序中。 CALCO’05，第30-50页。 斯普林格，2005年。 LNCS 3629。
-
斯蒂芬·莱克（Stephen Lack）和鲍·索波辛斯基（PawełSobocien ski）。 粘合剂和准粘合剂类别。 RAIRO：理论信息学与应用，39（3）：511-5452005。
-
金·古德斯特兰·拉森。 进程之间的上下文相关的模拟。 爱丁堡大学博士论文，1986年。
-
詹姆斯·莱弗和罗宾·米尔纳。 导出反应系统的互模拟同余。 在CONCUR 2000-并发理论：第11届国际会议大学公园，宾夕法尼亚州，美国，2000年8月22日至25日，会议记录，第243-258页。 施普林格-柏林-海德堡，2000年。
-
丹尼斯·诺尔特。 自动化Nachweis von Bisimulationsäquivalenzen bei Graphtransformations systemen。 杜伊斯堡大学硕士论文，2012年11月。
-
达米安·鲍斯（Damien Pous）。 完整的格子和up-to技术。 程序中。 APLAS’07，第351-366页。 施普林格，2007年。 LNCS 4807。
-
Damien Pous和Davide Sangiorgi。共推证明方法的改进。 Davide Sangiorgi和Jan Rutten，编辑，《相互模拟和模拟高级主题》。 剑桥大学出版社，2011年。
-
Davide Sangiorgi。关于互模拟证明方法。 计算机科学中的数学结构，8（5）：447-4791998。
-
弗拉迪米罗·萨松和帕韦·索博辛斯基。 cospan上的反应系统。 程序中。 LICS’05，第311-320页。 IEEE，2005年。
-
保罗·索波辛斯基。 从反应规则导出过程同余。 奥胡斯大学博士论文，2004年。