|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
57
|
Specifying coalgebras with modal logic
– Alexander Kurz
- 2001
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
90
|
An approach to object semantics based on terminal co-algebras
– H Reichel
- 1995
|
|
67
|
Objects and Classes, Coalgebraically
– B. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
117
|
Terminal coalgebras in well-founded set theory
– M Barr
- 1993
|
|
33
|
The Temporal Logic of Coalgebras via Galois Algebras
– Bart Jacobs
- 1999
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
371
|
Bisimulation through probabilistic testing
– Kim G. Larsen, Arne Skou
- 1989
|
|
1225
|
A Calculus of Communicating Systems
– R Milner
- 1980
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
26
|
Inheritance and Cofree Constructions
– B. P. F. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
31
|
Mongruences and Cofree Coalgebras
– Bart Jacobs
- 1995
|
|
47
|
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
– Jan J. M. M. Rutten , Daniele Turi
- 1998
|
|
4
|
From Modal Logic to Terminal Coalgebras
– M Roiger
|
|
34
|
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools
– Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
- 1998
|
|
12
|
Structural induction and coinduction in a setting
– C Hermida, B Jacobs
- 1998
|
|
599
|
Concurrency and automata on infinite sequences
– D Park
- 1981
|
