Simulations in coalgebra

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 1, 2003, Pages 128-149

  Jacobs, Bart ^a   Hughes, Jesse ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; FORMAL LOGIC; SEMANTICS; SET THEORY; TREES (MATHEMATICS);

BISIMILARITY; COALGEBRA; SYSTEMATISATION; TRANSITION SYSTEMS;

COMPUTER SCIENCE;

EID: 18944382073     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80636-4     Document Type: Conference Paper

References (16)

1. Adámek J. Final Coalgebras are Ideal Completions of Initial Algebras. Journ. of Logic and Computation. 12:(2):2002;217-242
2. Baltag A. A logic for coalgebraic simulation. Reichel H. Coalgebraic Methods in Computer Science. number 33 in Elect. Notes in Theor. Comp. Sci. :2000;Elsevier, Amsterdam. www.elsevier.nl/locate/entcs/volume33.html
3. Barendregt H.P. The Lambda Calculus. Its Syntax and Semantics. 2nd rev. edition :1984;North-Holland, Amsterdam
4. A. Carboni, G. M. Kelly, and R.J. Wood. A 2-categorical approach to change of base and geometric morphisms I. Report 90-1, Dep. of Pure Mathematics, Univ. of Sydney, 1990.
5. Fiore M.P. A coinduction principle for recursive data types based on bisimulation. Inf. & Comp. 127:(2):1996;186-198
6. Hensel U., Jacobs B. Coalgebraic theories of sequences in PVS. Journ. of Logic and Computation. 9:(4):1999;463-500
7. Hermida C., Jacobs B. Structural induction and coinduction in a fibrational setting. Inf. & Comp. 145:1998;107-152
8. Hesselink W.H., Thijs A. Fixpoint semantics and simulation. Theor. Comp. Sci. 238:2000;275-311
9. Jacobs B. Coalgebras and approximation. Nerode A., Matiyasevich Yu.V. Logical Foundations of Computer Science. number 813 in Lect. Notes Comp. Sci. :1994;173-183 Springer, Berlin
10. Jacobs B. Exercises in coalgebraic specification. Crole R., Backhouse R., Gibbons J. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. number 2297 in Lect. Notes Comp. Sci. :2002;237-280 Springer, Berlin
11. Lynch N., Vaandrager F. Forward and backward simulations. I. Untimed systems. Inf. & Comp. 121:(2):1995;214-233
12. Pitts A.M. A co-induction principle for recursively defined domains. Theor. Comp. Sci. 124:(2):1994;195-219
13. Rutten J. Relators and metric bisimulations. Jacobs B., Moss L., Reichel H., Rutten J. Coalgebraic Methods in Computer Science. number 11 in Elect. Notes in Theor. Comp. Sci. :1998;Elsevier, Amsterdam. www.elsevier.nl/locate/entcs/ volume11.html
14. Rutten J. Universal coalgebra: a theory of systems. Theor. Comp. Sci. 249:2000;3-80
15. A. Thijs. Simulation and Fixpoint Semantics. PhD thesis, Univ. Groningen, 1996.
16. Worytkiewicz K. Paths and simulations. Category Theory and Computer Science 2002. number 69 in Elect. Notes in Theor. Comp. Sci. :2002;Elsevier, Amsterdam. www.elsevier.nl/locate/entcs/volume69.html