|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
90
|
An approach to object semantics based on terminal co-algebras
– H Reichel
- 1995
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
67
|
Objects and Classes, Coalgebraically
– B. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
37
|
A Coinduction Principle for Recursive Data Types Based on Bisimulation
– Marcelo P. Fiore
- 1996
|
|
14
|
bisimulations and the correctness of coalgebraic refinements
– Invariants
|
|
34
|
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools
– Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
- 1998
|
|
599
|
Concurrency and automata on infinite sequences
– D Park
- 1981
|
|
8
|
An Algebraic View of Structural Induction
– Claudio Hermida, Bart Jacobs
- 1994
|
|
1542
|
A.: The Java Language Specification
– J Gosling, B Joy, G Steele, G Bracha, Buckley
- 2012
|
|
296
|
Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS
– Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke
- 1995
|
|
10
|
An extended abstract of a hidden agenda
– J A Goguen, G Malcolm
- 1996
|
|
190
|
PVS: Combining Specification, Proof Checking, and Model Checking
– S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas
- 1996
|
|
9
|
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
– Bart Jacobs
- 1997
|
|
830
|
A Theory of Objects
– Luca Cardelli, MartÃn Abadi
- 1996
|
|
37
|
F.: Forward and backward simulations, I: Untimed systems
– N Lynch, Vaandrager
- 1995
|
|
117
|
Terminal coalgebras in well-founded set theory
– M Barr
- 1993
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
