|
67
|
Objects and Classes, Coalgebraically
– B. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
9
|
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
– Bart Jacobs
- 1997
|
|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
52
|
Initial Algebra and Final Coalgebra Semantics for Concurrency
– Jan Rutten, Daniele Turi
- 1994
|
|
213
|
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
|
|
69
|
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
|
|
|
Part II Local Realizability Toposes and a Modal Logic for
– unknown authors
|
|
18
|
Developing Theories of Types and Computability via Realizability
– Lars Birkedal
- 2000
|
|
55
|
Structural Induction and Coinduction in a Fibrational Setting
– Claudio Hermida, Bart Jacobs
- 1997
|
|
7
|
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
|
|
51
|
Automata and coinduction (an exercise in coalgebra
– J. J. M. M. Rutten
- 1998
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
|
47
|
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
– Jan J. M. M. Rutten , Daniele Turi
- 1998
|