文件大小：0.62 MB 22页
部分可观测并发Kleene代数
作者
贾娜·沃杰梅克 
,
保罗·布鲁特 ,
西蒙·多尔蒂 ,
托比亚斯·卡佩 ,
亚历山德拉·席尔瓦
-
部分： 体积： 第31届并行理论国际会议（CONCUR 2020）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2020-08-26
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→语义学和推理 计算理论→并发 计算理论→形式语言和自动机理论
关键词
并发Kleene代数 带测试的Kleene代数 观察 公理化 完整性 顺序一致性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
杰德·阿尔加莱（Jade Algale）、吕克·马兰吉特（Luc Maranget）、苏斯米特·萨卡尔（Susmit Sarkar）和彼得·苏厄尔（Peter Sewell）。 石蕊：针对硬件运行测试。 在TACAS中，第41-44页，2011年。 网址： https://doi.org/10.1007/978-3-642-19835-9_5 . -
卡罗琳·简·安德森（Carolyn Jane Anderson）、内特·福斯特（Nate Foster）、阿琼·古哈（Arjun Guha）、珍妮·巴蒂斯特·珍妮（Jean-Baptiste Jeannin）、德克斯特·科赞（Dexter Kozen）、科尔·施莱辛格（Cole Schlesinger。 NetKAT：网络的语义基础。 在POPL中，第113-126页，2014年。 网址： https://doi.org/10.1145/2535838.2535862 . -
托马斯·布莱思。 格与有序代数结构。 Springer-Verlag伦敦，2005年。 
-
约翰·霍顿·康韦（John Horton Conway）。 正则代数和有限机器。 查普曼和霍尔有限公司，伦敦，1971年。
-
阿米娜·杜马内（Amina Doumane）、丹尼斯·库珀伯格（Denis Kuperberg）、达米安·鲍斯（Damien Pous）和皮埃尔·普拉迪奇（Pierre Pradic）。 带有假设的克莱恩代数。 在FOSSACS中，第207-223页，2019年。 网址： https://doi.org/10.1007/978-3-030-17127-8_12 . -
Nate Foster、Dexter Kozen、Matthew Milano、Alexandra Silva和Laure Thompson。 NetKAT的联合决策程序。 在POPL中，第343-355页，2015年。 网址： https://doi.org/10.1145/2676726.2677011 . -
杰伊·吉舍尔（Jay L.Gischer）。 pomsets的等式理论。 西奥。 计算。 科学。， 61:199-224, 1988. 网址： https://doi.org/10.1016/0304-3975 (88)90124-7 . -
简·格拉博夫斯基（Jan Grabowski）。 关于部分语言。 芬达姆。 通知。， 4(2):427, 1981.
-
托尼·霍尔（Tony Hoare）、伯恩哈德·莫勒（Bernhard Möller）、乔治·斯特鲁斯（Georg Struth）和伊恩·卫尔曼（Ian Wehrman）。 并发Kleene代数。 CONCUR，第399-4142009页。 网址： https://doi.org/10.1007/978-3642-04081-8-27 . -
Peter Jipsen和M.Andrew Moshier。 带有测试和分支自动机的并发Kleene代数。 J.日志。 阿尔盖布。 方法。 程序。， 85(4):637-652, 2016. 网址： https://doi.org/10.1016/j.jlamp.2015.12.005 . -
托比亚斯·卡佩（Tobias Kappé）、保罗·布鲁特（Paul Brunet）、朱里安·罗特（Jurriaan Rot）、亚历山德拉·席尔瓦（Alexandra Silva）、贾纳·工资制造者（Jana Wagemaker）和法比奥·扎。 带观察的克莱恩代数。 CONCUR，2019年第41:1-41:16页。 网址： https://doi.org/10.4230/LIPIcs.CONCUR.2019.41 . -
托比亚斯·卡佩（Tobias Kappé）、保罗·布鲁特（Paul Brunet）、亚历山德拉·席尔瓦（Alexandra Silva）、贾纳·工资制造者（Jana Wagemaker）和法比奥·扎纳西（Fabio Zanasi。 带观察的并发Kleene代数：从假设到完备性。 FOSSACS，第381-400页，2020年。 网址： https://doi.org/10.1007/978-3-030-45231-5_20 . -
德克斯特·科赞。 Kleene代数和正则事件代数的完备性定理。 信息计算。， 110(2):366-390, 1994. 网址： https://doi.org/10.1006/inco.1994.1037 . -
德克斯特·科赞。 带有测试和交换条件的Kleene代数。 在TACAS中，第14-33页，1996年。 网址： https://doi.org/10.1007/3-540-61042-1_35 . -
德克斯特·科岑。 关于霍尔逻辑和克莱恩代数的测试。 ACM事务处理。 计算。 日志。， 1(1):60-76, 2000. 网址： https://doi.org/10.1145/343369.343378 . -
丹尼尔·克罗布（Daniel Krob）。 B-有理恒等式的完整系统。 ICALP，第60-73页，1990年。 网址： https://doi.org/10.1007/BFb0032022 . -
莱斯利·兰波特。 如何使正确的多进程程序在多处理器上正确执行。 IEEE传输。 计算机，46（7）：779-7821997。 网址： https://doi.org/10.1109/12.599898 . -
迈克尔·R·劳伦斯和格奥尔格·斯特鲁思。 双Kleene代数和串并联有理pomset语言的完备性定理。 在RAMiCS中，第65-82页，2014年。 网址： https://doi.org/10.1007/978-3-319-06251-8_5 . -
卡迈尔·洛达亚和帕斯卡尔·韦尔。 串行并行语言和有界宽度属性。 理论计算机科学，237（1）：347-3802000。 网址： https://doi.org/10.1016/S0304-3975 (00)00031-1 . -
约翰·雷诺兹（John C.Reynolds）。 分离逻辑：共享可变数据结构的逻辑。 LiCS，2002年7月。 网址： https://doi.org/10.109/LICS.2002.1029817 . -
阿尔托·萨洛马。 正则事件代数的两个完整公理系统。 美国医学杂志，13（1）：158-1691966。 网址： https://doi.org/10.1145/321312.321326 . -
贾纳·工资制造者、保罗·布鲁特、西蒙·多切蒂、托比亚斯·卡佩、朱里安·罗特和亚历山德拉·席尔瓦。 部分可观测并发Kleene代数，2020年。 网址： http://arxiv.org/abs/2007.07593 .