Hitoshi Furusawa；乔治·斯特鲁斯 缓和多重关系。 （英语） Zbl 1407.03080号 ACM事务处理。计算。日志。 17，第4号，第28条，第34页（2016年）. 引用于三文件 MSC公司： 03G25号 与逻辑相关的其他代数 03E20型 其他经典集合论（包括函数、关系和集合代数） 07年6月 Quantales公司 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：多重关系代数 软件：伊莎贝尔/HOL；存档正式证据；二进制多重关系 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth}，ACM Trans。计算。日志。17，第4号，第28条，第34页（2016年；Zbl 1407.03080） 全文： DOI程序 arXiv公司 参考文献： [1] R.-J.Back和J.von Wright。1998年。精化微积分：系统介绍。斯普林格·Zbl 0949.68094号 ·doi:10.1007/978-1-4612-1674-2 [2] S.L.Bloom和Z.É；锡克。1996.语言变体中的自由洗牌代数。理论计算机科学163，18；2 (1996), 55–98. ·Zbl 0874.68171号 ·doi:10.1016/0304-3975（95）00230-8 [3] J.A.Brzozowski和E.L.Leis。1980.关于正则语言、有限自动机和序列网络的方程。理论计算机科学10（1980），19-35·Zbl 0415.68023号 ·doi:10.1016/0304-3975（80）90069-9 [4] A.Cavalcanti、J.Woodcock和S.Dunne。2006.规划统一理论中的天使般的不确定性。计算的形式方面18，3（2006），288–307·Zbl 1105.68012号 ·doi:10.1007/s00165-006-0001-8 [5] A.K.Chandra、D.Kozen和L.J.Stockmeyer。1981.替代。ACM杂志28，1（1981），114–133·Zbl 0473.68043号 ·数字对象标识代码：10.1145/322234.32243 [6] J.Desharnais、P.Jipsen和G.Struth。2009.域和反域半群。在RelMiCS 2009（LNCS）中，R.Berghammer、A.Jaoua和B.Mö；勒（编辑），第5827卷。施普林格，73-87·兹比尔1267.03067 ·doi:10.1007/978-3642-04639-16 [7] J.Desharnais，B.Mö；Leller和G.Struth。2011.终止的代数概念。计算机科学中的逻辑方法7，1（2011）·Zbl 1214.68185号 [8] J.Desharnais和G.Struth。近半环族的领域公理。在AMAST 08（LNCS）中，J.Meseguer和G.Rosu（编辑），第5140卷。施普林格，330-345·Zbl 1170.68514号 ·doi:10.1007/978-3-540-79980-125 [9] H.Furusawa、K.Nishizawa和N.Tsumagari，2009年。惰性、一叉树和概率Kleene代数的多关系模型。《信息学和控制论公报》41（2009），11-24·Zbl 1270.03137号 [10] H.Furusawa和G.Struth。2015年a。二进制多重关系。《正式证据档案》（2015）。 [11] H.Furusawa和G.Struth。2015年b。并发动态代数。ACM计算逻辑学报16，4（2015），30:1–30:38·Zbl 1367.03054号 [12] J.L.Gischer。1988年，pomsets方程理论。理论计算机科学61，2–3（1988），199–224·Zbl 0669.68015号 [13] R.戈德布拉特。1992.并行行动：具有独立模式的并行动态逻辑。《逻辑研究》51，3/4（1992），551-578·Zbl 0784.03019号 ·doi:10.1007/BF01028975 [14] T.霍尔，B.Mö；Leller、G.Struth和I.Wehrman。2011.并发Kleene代数及其基础。逻辑代数程序设计杂志80，6（2011），266-296·Zbl 1278.68176号 ·doi:10.1016/j.jlap.2011.04.005 [15] G.M.Kelly。1982。丰富范畴理论的基本概念。LMS演讲笔记系列64（1982）·Zbl 0478.18005号 [16] R.D.Maddux公司。2006，关系代数。爱思唯尔·Zbl 1197.03051号 [17] C.E.Martin、S.A.Curtis和I.Rewitzky。2007.用多重关系模拟天使和恶魔的不确定性。《计算机编程科学》65，2（2007），140-158·Zbl 1106.68023号 ·doi:10.1016/j.scico.2006.01.007 [18] D.僧侣。1964.关于可表示关系代数。密歇根数学杂志11（1964），207-210·Zbl 0137.00603号 ·doi:10.1307/mmj/1028999131 [19] A.Nerode和D.Wijesekera。1990年，建设性并发动态逻辑I.技术报告90-43。康奈尔大学数学科学研究所·Zbl 1094.03021号 [20] T.Nipkow、L.C.Paulson和M.Wenzel。2002.Isabelle/HOL-高阶逻辑的证明助手。LNCS，第2283卷。斯普林格·Zbl 0994.68131号 [21] K.Nishizawa、N.Tsumagari和H.Furusawa。Kleene代数的立方体和多重关系的三角棱镜。在计算机科学的关系方法（LNCS）中，R.Berghammer、A.Jaoua和B.Mö；勒（编辑），第5827卷。施普林格，276-290·Zbl 1267.03065号 ·doi:10.1007/978-3-642-04639-1_19 [22] R.Parikh。1983.命题游戏逻辑。在FOCS中。IEEE计算机学会，195-200·doi:10.1109/SFCS.1983.47 [23] R.Parikh。1985.游戏的逻辑及其应用。在计算理论（数学研究）主题中，M.Karpinsky和J.van Leeuwen（编辑），第102卷。北荷兰，111–135·Zbl 0552.90110号 ·doi:10.1016/S0304-0208（08）73078-0 [24] D.M.P.Park，1981年。无限序列上的并发性和自动机。《理论计算机科学》（LNCS），P.Deussen（Ed.），第104卷。施普林格，167-183·doi:10.1007/BFb0017309 [25] M.Pauly和R.Parikh。2003.游戏逻辑-概述。《逻辑研究》75，2（2003），165-182·Zbl 1040.03013号 ·doi:10.1023/A：1027354826364 [26] D.佩莱。1987年a。并发动态逻辑中的通信。《计算机系统科学杂志》35（1987），23-58·Zbl 0632.68032号 ·doi:10.1016/0022-0000（87）90035-3 [27] D.佩莱。1987年b。并发动态逻辑。ACM杂志34，2（1987），450-479·Zbl 0645.03021号 ·数字对象标识代码：10.1145/23005.23008 [28] I.雷维茨基。2003.二进制多重关系。在作为知识工具的关系结构的理论和应用（LNCS）中，H.C.M.de Swart、E.Orlowska、G.Schmidt和M.Roubens（编辑），第2929卷。施普林格，256-271·Zbl 1203.68035号 ·doi:10.1007/978-3-540-24615-2-12 [29] I.Rewitzky和C.Brink。作为上闭多重关系的单调谓词变换器。《计算机科学中的关系和克莱恩代数》（LNCS），R.A.Schmidt（编辑），第4136卷。施普林格，311-327·Zbl 1134.68390号 ·doi:10.1007/111828563_21 [30] G.结构。2012.左欧米伽代数和正则方程。《逻辑与代数编程杂志》81，6（2012），705-717·Zbl 1279.68242号 ·doi:10.1016/j.jlap.2012.05.004 [31] J.van Benthem、S.Ghosh和F.Liu。2008年。在动态逻辑中模拟同步游戏。综合165，2（2008），247–268·Zbl 1169.03021号 ·doi:10.1007/s11229-008-9390-y [32] D.Wijesekera和A.Nerode。构造并发动态逻辑表。《纯粹与应用逻辑年鉴》135，1-3（2005），1-72·Zbl 1094.03021号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。