保罗·巴尔丹;西尔维亚·克拉法 真正并发的逻辑。 （英语） Zbl 1321.68355号 美国临床医学杂志 第61号第4条第24条第36页（2014年）. 引用于12文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B70号 计算机科学中的逻辑 关键词：真正的并发;行为等效性;因果关系;事件结构;历史保护双重相似性;微积分 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{S.Crafa}，J.ACM 61，第4号，第24条，第36页（2014；Zbl 1321.68355） 全文： 内政部 arXiv公司 参考文献： [1] 保罗·巴尔丹和西尔维娅·克拉法。2010.真正并发的逻辑。CONCUR的诉讼程序’；10，Paul Gastin和Franç；ois Laroussinie，Eds.，《计算机科学讲义》，第6269卷，柏林斯普林格，147-161·Zbl 1287.68120号 [2] 马雷克·贝德纳奇克（Marek A.Bednarczyk）。1991年。保存遗传历史的互模拟或程序逻辑中未来完美的力量是什么。波兰科学院技术代表。 [3] 艾克·贝斯特（Eike Best）、雷蒙德·德维尔（Raymond Devillers）、阿斯特里德·基恩（Astrid Kiehn）和露西娅·波梅勒（Lucia Pomello）。1991年，完全同步互模拟。《学报》第28期，第231–261页·Zbl 0718.68034号 ·doi:10.1007/BF01178506 [4] Julian Bradfield和Sibylle B.Frö；施勒。2002.独立友好的模式逻辑和True Concurrency。Nord.J.计算。9, 1 (2002), 102–117. ·Zbl 1020.68061号 [5] 朱利安·布拉德菲尔德（Julian Bradfield）和斯蒂芬·克鲁泽（Stephan Kreutzer）。2005.独立友好不动点逻辑的复杂性。CLS诉讼中’；05，C.-H.Luke Ong，Ed.，《计算机科学讲义》，第3634卷，柏林斯普林格，355-368·Zbl 1136.03312号 [6] 朱利安·布拉德菲尔德和科林·斯特林。2006年，Modal mu-calculi。Patrick Blackburn，Johan van Benthem，and Franck Wolter，Eds.，Elsevier，阿姆斯特丹，荷兰，721-756，《模态逻辑手册》。 [7] Ferroudja Cherief公司。1992年，主要事件结构的前后相互模拟。在PARLE诉讼中’；92，Daniel Etiemble和Jean-Claude Syre编辑，《计算机科学讲义》，第605卷，柏林施普林格，843-858·Zbl 0770.68084号 [8] Mads大坝。1996。模型检查移动进程。信息计算。129, 1, 35–51. ·Zbl 0864.68036号 ·doi:10.1006/inco.1996.0072 [9] Mads Dam，Lars-Å；ke Fredlund和Dilian Gurov。1998年，面向开放分布式系统的参数验证。复合材料程序’；97，Willem P.de Roever、Hans Langmaack和Amir Pnueli编辑，《计算机科学讲义》，第1536卷，柏林斯普林格，150-185。 [10] 罗科·德·尼古拉和吉安路易吉·费拉里，1990年。观察逻辑和并发模型。FST-TCS诉讼程序；90，Kesav V.Nori和C.E.Veni Madhavan，Eds.，《计算机科学讲义》，第472卷，施普林格，柏林，301-315。 [11] 皮耶保罗·德加诺（Pierpaolo Degano）、洛科·德尼古拉（Rocco De Nicola）和乌戈·蒙塔纳里（Ugo Montanari），1988年。不确定并发进程的部分排序描述和观察。InREX Workshop，Jaco W.de Bakker，Willem P.de Roever，and Grzegorz Rozenberg，Eds.，《计算机科学讲义》，第354卷，柏林斯普林格，438-466。 [12] Sibylle B.Frö；schle和Thomas T.Hildebrandt。1999.关于普通和遗传历史保护的相互模拟。MFCS程序’；99，Miroslaw Kutylowski，Leszek Pacholski，and Tomasz Wierzbicki，Eds.，《计算机科学讲义》，第1672卷，柏林斯普林格，354–365·Zbl 0959.68087号 [13] Jan Friso Groote和Tim A.C.Willemse。2005.使用数据的模型检查过程。科学。计算。掠夺。56, 3, 251–273. ·Zbl 1082.68067号 ·doi:10.1016/j.scico.2004.08.002 [14] 朱利安·古铁雷斯。2009.针对并发、因果和冲突的逻辑和互模拟游戏。FoSSaCS’；会议记录；09，Luca de Alfaro编辑，《计算机科学讲义》，第5504卷，柏林施普林格，48-62页·Zbl 1234.68300号 [15] 朱利安·古铁雷斯。2011.关于具有部分顺序语义的并发系统的互模拟和模型检查。博士论文。LFCS-爱丁堡大学·Zbl 1215.68149号 [16] 朱利安·古铁雷斯和朱利安·布拉德菲尔德。2009.部分订单模型的定点逻辑的模型检查游戏。CONCUR诉讼程序’；09，马里奥·布拉维蒂（Mario Bravetti）和吉安路易吉·扎瓦塔罗（Gianluigi Zavataro）编辑，《计算机科学讲义》，第5710卷，柏林斯普林格，354–368·Zbl 1254.68150号 [17] 马修·亨尼西和罗宾·米尔纳。1985.不确定性和并发性的代数定律。J.ACM 32、137–161·Zbl 0629.68021号 ·doi:10.1145/2455.2460 [18] 马修·轩尼诗和科林·斯特林。1985年，在程序逻辑中，未来的力量是完美的。续第67页，第1-3页，第23-52页·Zbl 0582.68010号 [19] 安德烈é；Joyal、Mogens Nielsen和Glynn Winskel。1996年。开放地图的相互模拟。信息计算。127, 2, 164–185. （原金砖国家报告系列RS-94-7。）·Zbl 0856.68067号 [20] Marcin Jurdzinski、Mogens Nielsen和Jirí；斯尔巴。2003.多米诺骨牌游戏和HHP-双相似性的不确定性。信息计算。184, 2, 343–368. ·Zbl 1054.68094号 [21] 乌戈·蒙塔纳里（Ugo Montanari）和马克·皮斯托尔（Marco Pistore）。1997.历史-保护相互模拟的最小转换系统。STACS会议记录’；97，Rü；diger Reischuk和Michel Morvan，编辑，《计算机科学讲义》，第1200卷，柏林斯普林格，413-425。 [22] 莫根斯·尼尔森和克里斯蒂安·克劳森。1995年，无干扰相互模拟的游戏和逻辑。Nord.J.计算。2, 2, 221–249. ·Zbl 0839.68112号 [23] Mogens Nielsen、Gordon D.Plotkin和Glynn Winskel。1981.Petri网，事件结构和域，第一部分，定理。计算。科学。13, 85–108. ·Zbl 0452.68067号 ·doi:10.1016/0304-3975（81）90112-2 [24] 沃西奇·彭泽克（Wojciech Penczek）。时间逻辑中的分支时间和偏序。InTime和Logic：计算方法，Leonard Bolc和Andrzej Szał；as，编辑，伦敦大学学院出版社，英国伦敦，179-228。 [25] 伊恩·菲利普斯和伊雷克·乌利多夫斯基。2010年，对稳定配置结构进行反向互模拟。SOS’；诉讼；09，B.Klin和P.Sobociǹ；ski，编辑，《理论计算机科学电子期刊》，第18卷。荷兰阿姆斯特丹爱思唯尔，62-76。 [26] 伊恩·菲利普斯和伊雷克·乌利多夫斯基。2011年，一种具有反向模式的逻辑，用于历史-保护相互模拟。EXPRESS诉讼’；11，Bas Luttik和Frank Valencia，Eds.，《理论计算机科学电子论文集》，第64卷，Elsevier，阿姆斯特丹，荷兰，104-118。 [27] Sophie Pinchinat，Franç；ois Laroussinie和Philippe Schnoebelen。1994.真正并发互模拟的逻辑特征。技术代表114。格勒诺布尔LIFIA-IMAG。 [28] 亚历山大·拉比诺维奇（Alexander M.Rabinovich）和鲍里斯·特拉赫滕布罗特（Boris A.Trakhtenbrot）。1988.行为结构和网络。基金。信息11，357–404·Zbl 0657.68068号 [29] 罗伯·范·格拉贝克（Rob J.van Glabbeek）。线性时间分支时间谱I：具体、连续过程的语义。在《过程代数手册》中，Jan A.Bergstra、Alban Ponse和Scott A.Smolka，Eds.，Elsevier，阿姆斯特丹，荷兰，3-99·Zbl 1035.68073号 ·doi:10.1016/B978-044482830-9/50019-9 [30] Rob J.van Glabbeek和Ursula Goltz。2001.改进并发系统的动作和等价概念。《学报》第37期，第4/5期，第229–327页·Zbl 0969.68081号 ·doi:10.1007/s002360000041 [31] 沃尔特·福格勒。1991年，决定保留历史的双重性。ICALP’；诉讼；91、哈维尔·利奇·阿尔伯特、伯克哈德·莫尼恩和马里奥·罗德í；guez-Atalejo，Eds.，《计算机科学讲义》，第510卷，柏林斯普林格，495-505·Zbl 0769.68106号 [32] 格林·温斯克尔。1987年，活动结构。InPetri网：对其他并发模型的应用和关系，Wilfried Brauer、Wolfgang Reisig和Grzegorz Rozenberg，编辑，《计算机科学讲义》，第255卷，施普林格，柏林，325–392。 [33] Glynn Winskel和Mogens Nielsen。1995.并发模型。Samson Abramsky、Dov M.Gabbay和Thomas S.E.Maibaum主编，《计算机科学逻辑手册》，第4卷，克拉伦登出版社，英国牛津·Zbl 0919.68046号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。