文件大小：479 kB 16页
方程的发散性和唯一解
作者
-
部分： 体积： 第28届并行理论国际会议（CONCUR 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 发布日期：2017-09-01
文件
文件标识符
引用为 获取BibTex
摘要
关键词
双重相似性 方程的唯一解 终止 过程结石
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
卢卡·埃托奥、万·福克金和克里斯·弗霍夫。 《过程代数手册》（J.A.Bergstra和A.Ponse以及S.A.Smolka，编辑），结构操作语义一章。 爱思唯尔科学，2001年。 
-
Jos C.M.Baeten、Twan Basten和Michel A.Reniers。 过程代数：交流过程的等式理论。 剑桥大学出版社，2010年。
-
巴德·布鲁姆（Bard Bloom）、索林·伊斯特拉伊（Sorin Istrail）和阿尔伯特·梅耶（Albert R.Meyer）。 无法追踪相互模拟。 1988年第十五届美国计算机学会编程语言原理年会会议记录，第229-239页。
-
菲利波·邦奇（Filippo Bonchi）、丹妮拉·佩特里桑（Daniela Petrisan）、达米安·鲍斯（Damien Pous）和朱里安·罗斯（Jurriaan Rot）。《货币信息学报》，54（2）：127-190，2017年。
-
史蒂芬·D·布鲁克斯、C.A.R.霍尔和A.W.罗斯科。 通信顺序过程的理论。 J.ACM，31（3）：560-5991984年。
-
斯蒂芬·D·布鲁克斯和A.W.罗斯科。 通信过程的改进故障模型。 1984年，在美国宾夕法尼亚州匹兹堡卡内基梅隆大学举行的并行研讨会上，第281-305页。
-
罗曼·德曼根（Romain Demangeon）、丹尼尔·赫斯科夫（Daniel Hirschkoff）和大卫·桑吉奥吉（Davide Sangiorgi）。以不纯的并发语言终止。 在CONCUR 2010-并发理论，第21届国际会议，第328-342页，2010年。
-
阿德里安·杜里埃。 抽象环境中方程的发散性和唯一解，Coq形式证明，2017年。 网址： http://perso.ens-lyon.fr/adrien.durier/uniquesolution/ . -
Wan Fokkink和Rob J.van Glabbeek。 分式与同余Ⅱ：延迟与弱相似性。 第31届ACM/IEEE计算机科学逻辑研讨会论文集，LICS’16，第778-787页。 ACM，2016年。
-
Jan Friso Groote和Mohammad Reza Mousavi。 通信系统的建模与分析。 麻省理工学院出版社，2014年。
-
Jan Friso Groote和Frits W.Vaandrager。 结构化的操作语义和作为一致性的互模拟。 信息计算。， 100(2):202-260, 1992.
-
C.A.R.霍尔。 通信顺序过程。 普伦蒂斯·霍尔，1985年。
-
罗宾·米尔纳。 通信和并发。 计算机科学PHI系列。 普伦蒂斯·霍尔，1989年。
-
罗宾·米尔纳。 作为流程发挥作用。 计算机科学中的数学结构，2（2）：119-1411992。
-
罗宾·米尔纳。 通信和移动系统-Pi-calculus。 剑桥大学出版社，1999年。
-
穆罕默德·雷扎·穆萨维（Mohammad Reza Mousavi）、米歇尔·雷尼尔（Michel A.Reniers）和简·弗里索·格罗特（Jan Friso Groote）。 SOS格式和元理论：20年后。 西奥。 计算。 科学。， 373(3):238-272, 2007.
-
达米安·鲍斯（Damien Pous）。 最新的互模拟技术。 ENS Lyon博士论文，2008年2月。
-
达米安·鲍斯（Damien Pous）。 一路复制。 2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，LICS’16，第307-316页。
-
Damien Pous和Davide Sangiorgi，《双向模拟和共归纳高级主题》（D.Sangiordi和J.Rutten编辑），《共归纳证明方法的增强》一章。 剑桥大学出版社，2011年。
-
A.W.罗斯科。 故障模型的替代顺序。 J.日志。 计算。， 2(5):557-577, 1992.
-
A.W.罗斯科。 并行的理论与实践。 普伦蒂斯·霍尔PTR，上鞍河，新泽西州，美国，1997年。
-
A.W.罗斯科。 了解并发系统。 施普林格，2010年。
-
Jurriaan Rot、Marcelo M.Bonsangue和Jan J.M.M.Rutten。 Coalgebraic bisimulation-up-to。《2013年SOFSEM：计算机科学理论与实践》，第39届计算机科学理论和实践当前趋势国际会议，第369-381页，2013年。
-
Davide Sangiorgi。懒惰的功能和移动进程。 在G.Plotkin、C.Stirling和M.Tofte，编辑，《证明、语言和互动：罗宾·米尔纳的荣誉论文》。 麻省理工学院出版社，2000年。
-
Davide Sangiorgi，方程、收缩和唯一解。 第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL 2015，第421-432页，2015。
-
大卫·桑吉奥吉和大卫·沃克。 Pi-Calculus——移动过程理论。 剑桥大学出版社，2001年。
-
Davide Sangiorgi和Xian Xu。 来自作为进程的函数的树。 第25届国际会议，CONCUR 2014，意大利罗马，LNCS，第78-92页。 Springer Verlag，2014年。
-
罗伯·范·格拉贝克（Rob J.van Glabbeek）。 线性时间分支时间谱（扩展抽象）。 CONCUR’90，《并行理论：统一与扩展》，荷兰阿姆斯特丹，1990年8月27日至30日，《会议记录》，第278-297页，1990年。
-
罗伯·范·格拉贝克（Rob J.van Glabbeek）。 弱互模拟的冷同余格式。 《计算理论方面——2005年ICTAC》，第二届国际学术讨论会，第318-333页，2005年。
-
吉田信子（Nobuko Yoshida）、马丁·伯杰（Martin Berger）和本田小平（Kohei Honda）。 Pi-Calculus中的强归一化。 信息与计算，191（2）：145-2022004。