Coalgebraic Logic (1999)

Cached

Download Links

by Lawrence S. Moss
Venue:Annals of Pure and Applied Logic
Citations:89 - 0 self

Active Bibliography

297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
1 Uniform Functors on Sets – Lawrence S. Moss
2 Final Coalgebras as Greatest Fixed Points in ZF Set Theory – Lawrence C. Paulson, L. C. Paulson - 1999
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
13 On the Foundations of Corecursion – Lawrence S. Moss, NORMAN DANNER - 1997
14 Parametric Corecursion – Lawrence S. Moss
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
Algebraic and Coalgebraic Structures (Lecture Notes for Álgebra de Processos) – Luís Soares Barbosa - 2003
Axioms for Asynchronous Processes – Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
1 Modeling Fresh Names in the π-calculus Using Abstractions – Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan - 2004
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995