×
踢，马可；权力，约翰；亚历克斯·辛普森

定时进程的Coalgebraic语义。 （英语） Zbl 1110.68085号

Inf.计算。 204，第4期，588-609（2006）.
摘要：我们给出了时间进程及其操作语义的一种联合表示法。我们用一个称为“时域”的幺半群来建模时间，用“时间转换系统”来建模过程，这相当于时域的部分幺半群动作，或者等价地说，是时域生成的“进化共模子”的余代数。我们所有的时间域例子都满足部分闭包性质，从而得出进化余元上的全幺半作用的单子分布律，以及进化余元在对偶余元上对全幺半动作的分配律。我们证明了诱导余代数是具有时滞算子的正时转移系统。然后，我们将我们的时间类时间转换系统的联合表述集成到图里和普洛金的结构操作语义的表述中。我们通过对操作语义可能相互作用的两种任意类型行为的组合进行更一般的研究，将时间与行动结合起来。我们给出了由其每个组件的操作语义所诱导的组合的操作语义的模块化描述。我们的研究需要对康乃馨产品进行调查。特别地，我们描述了单体提升到产品余代数范畴时的特征，提供了便于计算的结构。

引用于6文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学
18立方厘米15 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子

关键词：

时间域；定时过渡系统；进化共鸣；延迟运算符；结构操作语义；模块化；分配律
PDF格式BibTeX公司 XML格式引用
\textit{M.Kick}等人，Inf.计算。204，第4号，588--609（2006；Zbl 1110.68085）
全文： 内政部

参考文献：

[1] 阿达梅克，J。；罗西基，J.，《本地可呈现和可访问类别》（1994），剑桥大学出版社：剑桥大学出版社·Zbl 0795.18007号
[2] 巴尔，M。；Wells，C.，拓扑、三元组和理论，Grundlehren der math Wissenschaften，278（1985）·Zbl 0567.18001号
[3] M.Hyland，G.D.Plotkin，A.J.Power，《组合效应：总和和张量》，《理论计算机科学》（即将出版）。；M.Hyland，G.D.Plotkin，A.J.Power，《组合效应：总和和张量》，《理论计算机科学》（即将出版）·Zbl 1096.68088号
[4] B.Jacobs，Monocongruences and cofree coargebras，载于：《美国医学会科学院刊》95，《计算机科学讲义》，第9361995卷，第245-260页。；B.Jacobs，Monocongruences and cofree coargebras，载于：美国医学会科学院刊95，《计算机科学讲义》，第9361995卷，第245-260页·Zbl 1496.68110号
[5] 约翰斯通，P。；Power，A.J。；Tsujishita，T。；Watanabe，H。；Worrell，J.，《余代数范畴的结构》，理论计算机科学，260，87-117（2001）·Zbl 0973.68178号
[6] 雅各布斯，B。；Rutten，J.，（co）代数和（co）归纳教程，欧洲理论计算机科学协会公报，62222-259（1997）·Zbl 0880.68070号
[7] A.S.A.Jeffrey，S.A.Schneider，F.W.Vaandrager，《时间转换系统中可加性公理的比较》，CWI技术报告CS-R9366，1993年。；A.S.A.Jeffrey，S.A.Schneider，F.W.Vaandrager，《时间转换系统中可加性公理的比较》，CWI技术报告CS-R93661993年。
[8] Kelly，G.M.，《自由代数、自由幺半群、共线、相关滑轮等超限结构的统一处理》，澳大利亚数学学会公报，22，1-83（1980）·Zbl 0437.18004号
[9] Kelly，G.M。；Power，A.J.，其counits是共限定符的附加，以及有限元单元的表示，《纯粹与应用代数杂志》，89163-179（1993）·Zbl 0779.18003号
[10] M.Kick，时间过程的双代数建模，载于：ICALP 2002年会议录，计算机科学讲稿，第2380卷，2002年，第525-536页。；M.Kick，时间过程的双代数建模，载于：ICALP 2002年会议记录，计算机科学讲稿，第2380卷，2002年，第525-536页·Zbl 1056.68105号
[11] M.Kick，《时间过程的数学模型》，博士论文，爱丁堡大学，2003年。；M.Kick，《时间过程的数学模型》，爱丁堡大学博士论文，2003年·Zbl 1056.68105号
[12] 踢，M。；Power，A.J.，《数学操作语义的行为模块化》，《理论计算机科学电子笔记》（2004）·Zbl 1271.68130号
[13] Lawvere，F.W.，《度量空间、广义逻辑和闭范畴》，Rend。del Sem.Mat.e渔业。米兰，43，135-166（1973）·Zbl 0335.18006号
[14] Lenisa，M。；Power，A.J。；Watanabe，H.，内函子、尖内函子和共点内函子的分布性，单子和余子，理论计算机科学中的电子笔记，33（2000）·兹比尔0960.18002
[15] Lenisa，M。；Power，A.J。；Watanabe，H.，操作语义的范畴理论，理论计算机科学，327135-154（2004）·Zbl 1071.68059号
[16] Makkai，M。；Pare，R.，《可及范畴：范畴模型理论的基础》，当代数学，104（1989）·Zbl 0703.03042号
[17] X.Nicollin，J.Sifakis，时间过程代数的概述和合成，载于：《CAV学报》1991，《计算机科学讲义》，第575卷，1991年，第376-398页。；X.Nicollin，J.Sifakis，时间过程代数的概述和合成，载于：《CAV学报》1991，《计算机科学讲义》，第575卷，1991年，第376-398页。
[18] Power，A.J.，《走向数学操作语义理论》，《理论计算机科学电子笔记》，82.1（2003）·Zbl 1270.68157号
[19] Power，A.J。；Watanabe，H.，《单声道和共鸣道的结合》，《理论计算机科学》，280137-162（2002）·Zbl 1002.68059号
[20] Street，R.，《单子的形式理论》，《纯粹与应用代数杂志》，2149-168（1972）·Zbl 0241.18003号
[21] D.Turi，G.D.Plotkin，走向数学运算语义，摘自：第12届计算机科学逻辑研讨会论文集，IEEE计算机科学出版社，1997年，第280-291页。；D.Turi，G.D.Plotkin，《迈向数学操作语义学》，载于《第12届计算机科学逻辑研讨会论文集》，IEEE计算机科学出版社，1997年，第280-291页。
[22] Y.Wang，异步代理的实时行为，摘自：CONCUR 1990年会议记录，计算机科学讲义，第458卷，1990年，第502-520页。；Y.Wang，异步代理的实时行为，摘自：CONCUR 1990年会议记录，计算机科学讲义，第458卷，1990年，第502-520页。
[23] James，Worell，可及内函子的终端序列，理论计算机科学电子笔记，19（1999）·Zbl 0918.68024号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。