Specifying coalgebras with modal logic

Electronic Notes in Theoretical Computer Science

Volumn 11, Issue , 1998, Pages 56-70

  Kurz, Alexander ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; MODAL ANALYSIS; OBJECT ORIENTED PROGRAMMING;

BISIMULATION; COALGEBRA; EQUATIONAL LOGIC; MODAL LOGIC;

ALGEBRA;

EID: 19044366690     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00053-2     Document Type: Article

References (8)

1. Robert Goldblatt, Saturation and the Hennessy-Milner Property. In: A. Ponse et.al.(eds.), Modal Logic and Process Algebra, CSLI Lecture Notes No.53, 1995.
2. Hensel, U., Reichel, H.: Defining Equations in Terminal Coalgebras, Springer LNCS 906
3. Hollenberg Marco. Hennessy-Milner Classes and Process Algebra. Ponse A., et al. Modal Logic and Process Algebra. 1995;CSLI
4. Bart Jacobs, Mongruences and Cofree Coalgebras. In: V.S. Alagar et.al.(eds.), Algebraic Methodology and Software Technology, LNCS 936, 1995, p.83-103
5. Jacobs Bart. Objects and Classes, co-algebraically. Freitag B., et al. Object-Orientation with Parallelism and Persistence. 1996;245-260 Kluwer Acad. Publ
6. Larry Moss, Coalgebraic Logic, forthcoming.
7. Reichel H.: An Approach to Object Semantics based on Terminal Co-algebras, Math. Struct. in Computer Science, to appear.
8. J.J.M.M. Rutten, Universal Coalgebra: A Theory of Systems, Technical Report CS-R9636, CWI, Amsterdam, 1996.