Characterising Behavioural Equivalence: Three Sides of One Coin

被引：0

作者：

Kupke, Clemens ^{[1
]}

Leal, Raul Andres ^{[2
]}

机构：

[1] Univ London Imperial Coll Sci Technol & Med, London, England

[2] Univ Amsterdam, NL-1012 WX Amsterdam, Netherlands

来源：

ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS | 2009年 / 5728卷

关键词：

COALGEBRAIC MODAL LOGIC;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We relate three different, but equivalent, ways to characterise behavioural equivalence for set coalgebras. These are: using final coalgebras, using coalgebraic languages that have the Hennessy-Milner property and using coalgebraic languages that have "logical congruences". On the technical side the main result of our paper is a straightforward construction of the final T-coalgebra, of a set functor using a given logical language that has the Hennessy-Milner property with respect to the class of T-coalgebras.

引用

页码：97 / +

页数：2

共 17 条

[1] Aczel P., 1989, Category Theory and Computer Science Proceedings, P357, DOI 10.1007/BFb0018361
[2] Adámek J, 2005, LECT NOTES COMPUT SC, V3634, P70, DOI 10.1007/11538363_7
[3] Adamek J., 1990, ABSTRACT CONCRETE CA
[4] [Anonymous], 2001, Modal and Temporal properties of processes
[5] [Anonymous], 2002, CAMBRIDGE TRACTS THE
[6] A hidden agenda
Goguen, J
Malcolm, G
[J]. THEORETICAL COMPUTER SCIENCE, 2000, 245 (01) : 55 - 101
[7] Final coalgebras and the Hennessy-Milner property
Goldblatt, R
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2006, 138 (1-3) : 77 - 93
[8] Goranko V., 2006, Handbook of Modal Logic, P255
[9] GUMM HP, 1999, ELEMENTS GEN THEORY
[10] JACOBS B, 1997, EATCS B, V62, P62

← 1 2 →