Towards Weak Bisimulation For Coalgebras
unknown authors
http://wwwtcs.inf.tu-dresden.de/~janr/papers/cmcim2002.ps.gz
Add To MetaCart
Abstract:
This paper contains a novel approach to observational equivalence for coalgebras. We describe how to dene weak homomorphisms, weak bisimulation, and investigate the connection between them as well as the relation to the known theory of bisimulation for coalgebras. The ultimate result of the paper is the correctness-proof for a weak coinduction proof principle. 1
Citations
| 2762 | Communication and Concurrency – Milner - 1989 |
| 241 | The linear time { branching time spectrum II: The semantics of sequential systems with silent moves – Glabbeek - 1993 |
| 215 | Universal coalgebra: A theory of systems – Rutten - 1996 |
| 91 | An approach to object semantics based on terminal co-algebras – Reichel - 1995 |
| 68 | Objects and classes, co-algebraically – Jacobs - 1996 |
| 36 | A 2-categorical approach to change of base and geometric morphisms I – Carboni, Kelly, et al. - 1990 |
| 28 | Semantical principles in the modal logic of coalgebras – Pattinson - 2001 |
| 15 | Elements of the general theory of coalgebras – Gumm - 1999 |
| 11 | A note on coinduction and weak bisimilarity for while programs – Rutten - 1998 |
| 8 | The coalgebraic class speci language CCSL – Rothe, Tews, et al. - 2001 |
| 6 | A syntactical approach to weak (bi)-simulation for coalgebras – Rothe - 2002 |
| 4 | Relators and metric bisimulations (extended abstract – Rutten - 1998 |
| 2 | Institutionalising many-sorted coalgebraic modal logic – Crstea - 2002 |
