A logic for coalgebraic simulation

Electronic Notes in Theoretical Computer Science

Volumn 33, Issue , 2000, Pages 42-60

  Baltag, Alexandru ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FUNCTIONS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS;

BISIMULATIONS; COALGEBRAIC SIMULATIONS; MODAL LOGICS; SIMULATION GAMES;

FORMAL LOGIC;

EID: 0003369028     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80343-3     Document Type: Conference Paper

References (6)

1. Carboni A., Kelly G.M., Wood R.J. A 2-categorical approach to change of base and geometric morphisms I. Report 90-1, Department of Pure Mathematics, University of Sydney, ISSN 1033-2359. 1990
2. Jacobs Bart, Rutten J. A tutorial on (co)algebras and (co) induction. EATCS Bulletin, 62:1997;222-259
3. Moss Larry. Coalgebraic Logic. 1997;. to appear
4. Rutten J. Relators and Metric Bisimulations. vol.11 CMCS'98 of ENTCS 11. 1998;257-263
5. J. Rutten, Universal Coalgebra: a Theory of Systems, to appear in TCS.
6. Thijs Albert. Simulation and Fixpoint Semantics. Ph.D. Dissertation, University of Groningen. 1996