×
亨德里克·图斯

二进制方法的最大互模拟。 （英语） Zbl 1270.68228号

Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第1期，317-336页（2002年）。
摘要：在之前的工作中，作者[Theor.Inform.Appl.35，No.1，83-111（2001；Zbl 0983.68126号)]介绍了coalebra的一般概念，它能够在面向对象编程中对二进制方法进行建模。这种泛化的一个重要问题是，互模拟在并集下并不封闭，而且一般不存在最大的互模拟。有两种可能的方法可以改善这种情况：第一，加强互模拟的定义，第二，对余代数施加约束（即对二进制方法的行为施加约束）。本文将这两种方法结合起来，证明（在合理的假设下）所有扩展多项式函子的余代数都存在最大互模拟。
关于整个系列，请参见[Zbl 1266.68018号].

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题65 抽象数据类型；代数规范

引文：

Zbl 0983.68126号

软件：

CCSL公司;PVS公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Tews}，电子。注释Theor。计算。科学。65，第1号，317--336（2002；Zbl 1270.68228）
全文： 内政部

参考文献：

[1] Aczel P.和P.F.Mendler，最后一个余代数定理范畴理论与计算机科学会议论文集389; Aczel P.和P.F.Mendler，最后一个余代数定理范畴理论与计算机科学会议论文集389
[2] Bruce，K。；Cardelli，L。；卡斯塔尼亚，G。；组，T.H.O。；Leavens，G.T。；Pierce，B.，论二元方法，对象系统的理论与实践，1221-242（1995）
[3] Hennicker，R。；Kurz，A.，（Ω，Ξ）-逻辑：关于余代数规范的代数扩展，（Jacobs，B.；Rutten，J.，《计算机科学中的余代数方法》99，19（1999），ENTCS），195-212·Zbl 0918.68064号
[4] 亨塞尔，美国。；Jacobs，B.，《迭代递归数据类型的证明原则》（Moggi，E.；Rosolini，G.，《范畴理论与计算机科学》，1290（1997）），220-241·Zbl 0887.68069号
[5] 赫尔米达，C。；雅各布斯，B.，《纤维背景下的结构归纳和共聚》，信息与计算，145107-152（1998）·Zbl 0941.18006号
[6] 雅各布斯·B。，继承和无余结构96年ECOOP会议记录1098; Jacobs B。，继承和无余结构96年ECOOP会议记录1098
[7] Jacobs，B.，《对象和类，协同代数》（Freitag，B.；Jones，C.；Lengauer，C.；Schek，H.J.，《面向对象的并行性和持久性》（1996），Kluwer Acad。出版物），83-103
[8] 雅各布斯，B.，“范畴逻辑和类型理论”，（逻辑和数学基础研究，141（1999），爱思唯尔：北荷兰爱思唯尔）·Zbl 0911.03001号
[9] Owre，S。；Rajan，S。；Rushby，J。；北卡罗来纳州Shankar。；Srivas，M.，PVS：结合规范、验证检查和模型检查（Alur，R.；Henzinger，T.，计算机辅助验证，1102（1996）），411-414
[10] 波尔，E。；兹瓦内堡，J。；Corradini，A。；Lenisa，M。；Montanari，U.，《从代数和余代数到双代数》，《计算机科学中的余代数方法》01。2001年计算机科学中的协代数方法，ENTCS，44（2001）·Zbl 1260.18004号
[11] Reichel，H.，基于终端余代数的对象语义方法，计算机科学中的数学结构，5129-152（1995）·Zbl 0854.18006号
[12] Rothe，J。；Tews，H。；Jacobs，B.，《联合语言类规范语言CCSL》，《通用计算机科学杂志》，第7期，第175-193页（2001年）·Zbl 0970.68104号
[13] Rutten，J.J.M.M.，《宇宙余代数：系统理论》，理论计算机科学，249，3-80（2000）·Zbl 0951.68038号
[14] Tews，H.，二元方法的余代数：互模拟和不变量的性质，理论信息学和应用，35，83-111（2001）·兹伯利0983.68126
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。