布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 （英语） Zbl 1367.68210号 ACM事务处理。计算。日志。 17，第3号，第15条，第25页（2016年）. 引用于6文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 03B70号 计算机科学中的逻辑 2007年6月 Quantales公司 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：并发;霍尔逻辑;卷积;形式幂级数;形式语义学;区间逻辑;量子数;半群;分离逻辑;系统验证 软件：伊莎贝尔/HOL PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人，ACM Trans。计算。日志。17，第3号，第15条，第25页（2016；Zbl 1367.68210） 全文： 内政部 参考文献： [1] S.Abramsky和A.Jung。1994.领域理论。在《计算机科学逻辑手册》中，S.Abramsky、D.M.Gabbay和T.S.E.Maibaum（编辑），第三卷，牛津大学出版社，牛津，1-168。 [2] J.Allwein和J.M.Dunn。线性逻辑的克里普克模型。J.符号。《逻辑》58，2（1993），514–545·Zbl 0795.03013号 ·doi:10.2307/2275217 [3] S.Ambler。对称单体闭范畴中的一阶线性逻辑。博士论文。英国爱丁堡爱丁堡大学。 [4] R.-J.Back和J.von Wright。1994年，对行动系统进行跟踪改进。在CONCUR（LNCS）中，B.Jonsson和J.Parrow（编辑），第836卷。柏林施普林格，367-384·doi:10.1007/978-3-540-48654-1_28 [5] R.-J.Back和J.von Wright。1999.精化微积分—；系统介绍。柏林施普林格，519。 [6] V.Bergelson、A.Blass和N.Hindman。变量词空间的划分定理。过程中。伦敦。数学。Soc.68（1994），449–476·Zbl 0809.04005号 ·doi:10.1112/plms/s3-683.449 [7] J.Berstel和C.Reutenauer。1984年，Les Sé；ries Rationnelles和Leurs Langagues。巴黎马森，132·Zbl 0573.68037号 [8] C.布林克。1993年。权力结构。阿尔盖布。大学30（1993），177-216·Zbl 0787.08001号 ·doi:10.1007/BF01196091 [9] C.Calcagno，P.W.O’；赫恩和H.杨。2007.本地操作和抽象分离逻辑。在LICS中。IEEE计算机学会，纽约州纽约市，366–378·doi:10.1109/LICS.2007.30 [10] J.H.康韦。1971.正则代数和有限机器。查普曼&；伦敦霍尔，261·Zbl 0231.94041号 [11] B.白天。关于函子的闭范畴。《中西部类别研讨会报告IV》（数学课堂讲稿），第137卷。柏林施普林格，1-38·Zbl 0203.31402号 ·doi:10.1007/BFb0060438 [12] T.Dinsdale Young、L.Birkedal、P.Gardner、M.J.Parkinson和H.Yang。2013.观点：并发程序的合成推理。在POPL中，R.Giacobazzi和R.Cousot（编辑）。ACM，纽约州纽约市，287-300·Zbl 1301.68099号 ·数字对象标识代码：10.1145/2429069.2429104 [13] B.Dongol、V.B.F.Gomes和G.Struth。2015.分离逻辑的程序构建和验证工具。在MPC（LNCS）、R.Hinze和J.Voigtlä；nder（编辑），第9129卷。施普林格，柏林，137–158·Zbl 1432.68071号 ·数字对象标识代码：10.1007/978-3-319-19797-57 [14] B.Dongol、I.J.Hayes和J.Derrick。2014年a。使用代数推理推导具有多个时间段的实时动作系统。科学。计算。程序。85 (2014), 137–165. ·doi:10.1016/j.scico.2013.08.009 [15] B.Dongol、I.J.Hayes和G.Struth。2014年b。卷积、分离和并发。CoRR abs/1410.4235（2014）·Zbl 1367.68210号 [16] M.Droste、W.Kuich和H.Vogler（编辑）。2009.加权自动机手册。柏林施普林格·Zbl 1200.68001号 ·doi:10.1007/978-3642-01492-5 [17] S.Eilenberg，1974年。自动化、语言和机器。A卷，学术出版社，纽约州纽约市，451·Zbl 0317.94045号 [18] J.L.Gischer。1988年，pomsets方程理论。理论。计算。科学。61 (1988), 199–224. ·Zbl 0669.68015号 ·doi:10.1016/0304-3975（88）90124-7 [19] R.戈德布拉特。1989.复代数的种类。Ann.纯粹应用。《逻辑》44（1989），173-242·Zbl 0722.08005号 ·doi:10.1016/0168-0072（89）90032-8 [20] J.格拉博夫斯基。1981.关于部分语言。芬丹。通知。4 (1981), 427–498. ·Zbl 0468.68088号 [21] T.A.亨廷格。1996年，混合自动机理论。在LICS中。IEEE计算机学会，纽约州纽约市，278-292·Zbl 0959.68073号 ·doi:10.1109/LICS.1996.561342 [22] C.A.R.霍尔。1972年，走向并行编程理论。操作系统技术。学术出版社，纽约，纽约，61-71·doi:10.1007/978-14757-3472-06 [23] C.A.R.霍尔。1975.并行编程：公理方法。计算。Lang.1，2（1975），151-160·Zbl 0362.68045号 ·doi:10.1016/0096-0551（75）90014-4 [24] C.A.R.霍尔，A.侯赛因，B.Mö；Leller，P.W.O’；Hearn、R.Lerchedahl Petersen和G.Struth。2011年a。关于并发进程的局部性和交换律。在CONCUR（LNCS），J.-P.Katoen和B.Kö；nig（编辑），第6901卷。柏林施普林格，250-264·Zbl 1343.68170号 ·doi:10.1007/978-3-642-23217-617 [25] T.Hoare，B.Mö；Leller、G.Struth和I.Wehrman。2011年b。并发Kleene代数及其基础。J.日志。阿尔盖布。程序。80, 6 (2011), 266–296. ·Zbl 1278.68176号 ·doi:10.1016/j.jlap.2011.04.005 [26] P.Hö；fner和B.Mö；勒。2009.混合系统代数。J.日志。阿尔盖布。程序。78, 2 (2009), 74–97. ·Zbl 1161.68032号 ·doi:10.1016/j.jlap.2008.08.005 [27] 第H页ö；fner，B.Mö；Leller和G.Struth。2006.量子数和时序逻辑。在AMAST（LNCS），M.Johnson和V.Vene（编辑），第4019卷。柏林施普林格，263-277·Zbl 1235.03051号 [28] S.S.Ishtiaq和P.W.O’；赫恩。BI作为可变数据结构的断言语言。在POPL中，C.Hankin和D.Schmidt（编辑）。ACM，纽约州纽约市，14-26·Zbl 1323.68077号 ·数字对象标识代码：10.1145/360204.375719 [29] B.Jó；nsson和A.Tarski。1951.带算子的布尔代数，第一部分，美国数学杂志。73, 4 (1951), 207–215. ·Zbl 0045.31505号 ·数字对象标识代码：10.2307/2372123 [30] B.Jó；nsson和A.Tarski。1952.带算子的布尔代数，第二部分。美国数学杂志。74, 1 (1952), 127–162. ·Zbl 0045.31601号 ·doi:10.2307/2372074 [31] G.M.Kelly。1982。丰富范畴理论的基本概念。LMS演讲笔记系列64（1982）。剑桥大学出版社，245·Zbl 0478.18005号 [32] R.K.Meyer和R.Routey。1973.经典相关逻辑（I）。《逻辑研究》32（1973），51–66·Zbl 0316.02029号 ·doi:10.1007/BF02123812 [33] B.C.莫斯科夫斯基。无限时间区间时序逻辑的完全公理化。在LICS中。IEEE计算机学会，纽约，241-252·doi:10.1109/LICS.2000.855773 [34] T.Nipkow、L.C.Paulson和M.Wenzel。2002.Isabelle/HOL—；高阶逻辑的证明助手。LNCS，第2283卷。柏林施普林格，226·Zbl 0994.68131号 [35] P.W.O’；赫恩。2004.资源、并发和本地推理。CONCUR（LNCS），P.Gardner和N.Yoshida（编辑），第3170卷。柏林施普林格，49-67。 [36] P.W.O’；Hearn和D.J.Pym。1999年。捆绑含义的逻辑。牛。符号。逻辑5，2（1999），215-244·Zbl 0930.03095号 ·doi:10.2307/421090 [37] S.S.Owicki和D.Gries。1976.验证并行程序的属性：公理方法。Commun公司。ACM 19，5（1976），279–285·Zbl 0322.68010号 ·doi:10.1145/360051.360224 [38] J.C.雷诺兹。2002.分离逻辑：用于共享可变数据结构的逻辑。在LICS中。IEEE计算机学会，纽约州纽约市，55-74·doi:10.1109/LICS.2002.1029817 [39] G.-C.罗塔。1964.在组合理论的基础上I.Mö；bius功能。Zeitschrift公司fü；r Wahrscheinlichkeits theorie und Verwandte Gebiete（1964），340-368·Zbl 0121.02406号 ·doi:10.1007/BF00531932 [40] A.塔莱基。1985.特定程序的语言。科学。计算。程序。5 (1985), 59–81. ·Zbl 0559.68023号 ·doi:10.1016/0167-6423（85）90004-8 [41] A.厄克哈特。1972.相关逻辑的语义。J.符号。《逻辑》37，1（1972），159-169·Zbl 0245.02028号 ·doi:10.2307/2272559 [42] C.Zhou和M.R.Hansen。2004.持续时间微积分；实时系统的形式化方法。柏林施普林格·Zbl 1071.68062号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。