×
多雷尔·卢卡努;奥维迪乌·盖奥吉斯;阿德里亚娜·阿佩特里

互模拟和隐代数。 （英语） 邮编1126.08300

Jacobs，Bart（编辑）等人，CMCS’99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议（ETAPS'99）的卫星活动。荷兰阿姆斯特丹，1999年3月20日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记19，电子论文13号（1999）。
摘要：隐代数是余代数的特例。隐代数上的隐同余对应于对应余代数上的互模拟等价。本文将隐同余的概念推广到两个不同隐代数之间的隐互模拟的概念。我们首先定义了具有相同签名的两个隐藏代数之间的隐藏互模拟。隐藏的互模拟实际上是对应余代数之间的互模拟。然后，我们定义了两个具有不同签名的隐代数之间的隐模拟，这些签名通过垂直签名态射关联。我们更喜欢称之为关系模拟，因为它是单向的，这是由于签名态射。对于最后一种情况，讨论了仿真和细化之间的关系。
有关整个系列，请参见[Zbl 0916.00017号].

引用于三文件

MSC公司：

08A70号 泛代数在计算机科学中的应用
03G30型 分类逻辑，拓扑
18 C50 形式语言的范畴语义
68问题65 抽象数据类型；代数规范

软件：

OBJ3型;OBJ咖啡馆
PDF格式BibTeX公司 XML格式引用
\textit{D.Lucanu}等人，《电子》。注释Theor。计算。科学。19，电子文件第13号（1999；Zbl 1126.08300）
全文： 内政部

参考文献：

[1] CafeOBJ主页。http://ldl.jaist.ac.jp:8080/cafeobj; CafeOBJ主页。网址：http://ldl.jaist.ac.jp:8080/cafeobj
[2] Corina Ciêrstea，隐藏代数的Coalgebra语义：参数化对象和继承，（Parisi-Presicce，F。，代数发展的最新趋势，在LNCS（1998），Springer中编号1376·Zbl 0906.68094号
[3] R.迪亚科内斯库。面向对象代数规范中的行为一致性。技术报告IS-RR-98-0017F，日本高级科学研究所。和Tech.，1998年。；R.Diaconescu。面向对象代数规范中的行为一致性。技术报告IS-RR-98-0017F，日本高级科学研究所。和Tech.，1998年。
[4] Diaconescu，Raäzvan；Futatsugi，Kokichi，CafeOBJ报告：面向对象代数规范的语言、证明技术和方法，第6卷AMAST计算机系列。（1998），《世界科学》·Zbl 0962.68115号
[5] J.戈根。；Diaconescu，R.，面向对象范式的代数语义，（Ehrig，H.；Orejas，F。，数据类型规范的最新趋势，LNCS（1994）第785号，施普林格：施普林格柏林），91-126
[6] J.Goguen和G.Malcolm。隐藏的议程。UCSD技术报告CS97-538，1997年4月。；J.Goguen和G.Malcolm。隐藏的议程。UCSD技术报告CS97-5381997年4月·Zbl 0946.68070号
[7] J.戈根。；马尔科姆，G。；Kemp，T.，一个隐藏的herbrand定理，（PLIP/ALP’98[编程语言、实现、逻辑和程序；代数和逻辑编程]·Zbl 0926.03034号
[8] J.戈根。；Meseguer，J.，《有序代数I：多重继承、重载、异常和部分运算的等式推导》，《理论计算机科学》，105，2，217-273（1992）·Zbl 0778.68056号
[9] 约瑟夫·高根（Joseph Goguen）、蒂莫西·温克勒（Timothy Winkler）、何塞·梅塞古尔（JoséMesegure）、科奇奇·福塔苏吉（Kokichi Futatsugi）和珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud。介绍OBJ。技术报告，SRI国际，计算机科学实验室，1993年。；约瑟夫·高根（Joseph Goguen）、蒂莫西·温克勒（Timothy Winkler）、何塞·梅塞古尔（JoséMesegure）、科奇奇·福塔苏吉（Kokichi Futatsugi）和珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud。介绍OBJ。技术报告，SRI国际，计算机科学实验室，1993年。
[10] Jacobs，B.，具有共导正确性证明的组合代数规范的行为重新定义，计算机科学讲义，1214（1997），787-？？
[11] Jacobs，B.，《对象和类，协同代数》（Freitag，B.；Jones，C.B.；Lengauer，C.；Schek，H.-J.，《面向对象的持久性》（1996），Kluwer Acad。出版），83-103
[12] Malcolm，G.，行为等效性、双相似性和最小实现，（Haveraan，Magne；Owe，Olaf；Dahl，Ole-Johan，《数据类型规范的最新趋势》
[13] 马尔科姆，G。；Goguen，J.，《证明精化和实现的正确性》，技术专著PRG-114，编程研究小组，牛津大学（1996）
[14] J.Meseguer和J.Goguen。初始性、归纳和可计算性。技术报告CSL技术代表140，SRI国际，1983年。《语义代数方法》，剑桥大学出版社，1984年，第459-541页。；J.Meseguer和J.Goguen。初始性、归纳性和可计算性。技术报告CSL技术代表140，SRI国际，1983年。《语义代数方法》，剑桥大学出版社，1984年，第459-541页·Zbl 0571.68004号
[15] A.T.Nakagawa、T.Sawada和T.Futatsugi。CafeOBJ用户手册，1997年。http://ldl.jaist.ac.jp:8080/cafeobj; A.T.Nakagawa、T.Sawada和T.Futatsugi。CafeOBJ用户手册，1997年。http://ldl.jaist.ac.jp:8080/cafeobj
[16] Reichel，H.，基于终端余代数的对象语义方法，数学。结构。在Comp。科学。，5, 129-152 (1995) ·Zbl 0854.18006号
[17] 格里戈尔·罗什和约瑟夫·戈根。隐藏的同余演绎。在Ricardo Caferra和Gernot Salzer的编辑中，程序，一阶定理证明-FTP’98; 格里戈尔·罗什和约瑟夫·戈根。隐藏的同余演绎。在Ricardo Caferra和Gernot Salzer的编辑中，程序，一阶定理证明-FTP’98
[18] Rutten，J。；Turi，D.，《初始代数和余代数语义学》，（de Bakker，J.W.；等，《并发的十年——反思和透视》
[19] J.J.M.M.鲁顿。宇宙余代数：一种系统理论。技术报告CS-R9652，CWI阿姆斯特丹，1996年。；J.J.M.M.鲁滕。宇宙余代数：一种系统理论。技术报告CS-R9652，CWI阿姆斯特丹，1996年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。