Mongruences and Cofree Coalgebras (1995)

Cached

Download Links

by Bart Jacobs
Venue:Algebraic Methods and Software Technology, number 936 in Lect. Notes Comp. Sci
Citations:30 - 10 self

Active Bibliography

68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
12 Invariants, Bisimulations and the Correctness of Coalgebraic Refinements – Bart Jacobs - 1997
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
17 A Complete Calculus for Equational Deduction in Coalgebraic Specification – Andrea Corradini, Andrea Corradini - 1997
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997
7 A Structural Co-Induction Theorem – J. J. M. M. Rutten - 1993
Axioms for Asynchronous Processes – Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis
journal homepage: www.elsevier.com/locate/tcs – Venanzio Capretta
62 Automata and coinduction (an exercise in coalgebra – J. J. M. M. Rutten - 1998
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999