|
9
|
Coalgebras For Binary Methods: Properties Of Bisimulations And Invariants
– Hendrik Tews
- 2001
|
|
2
|
Greatest Bisimulations for Binary Methods
– Hendrik Tews, Inst Theor Informatik, Tu Dresden, D-- Dresden
- 2002
|
|
7
|
Coalgebras for Binary Methods
– Hendrik Tews, Inst Theor Informatik, Tu Dresden
- 2000
|
|
9
|
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
– Bart Jacobs
- 1997
|
|
3
|
A modal proof theory for final polynomial coalgebras. Theoret
– David Friggens, Robert Goldblatt
|
|
51
|
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
– B. P. F. Jacobs, Bart Jacobs
- 2001
|
|
18
|
Towards a Duality Result in the Modal Logic of Coalgebras
– Bart Jacobs
- 2000
|
|
14
|
Components as processes: An exercise in coalgebraic modeling
– L. S. Barbosa
- 2000
|
|
|
Coalgebraic Specifications in Object-Oriented Programming
– Elena Tsanko
- 2004
|
|
10
|
Coalgebraic Reasoning about Classes in Object-Oriented Languages
– Bart Jacobs
- 1998
|
|
34
|
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools
– Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
- 1998
|
|
18
|
Reasoning about Java classes
– Bart Jacobs, Joachim Van Den Berg, Marieke Huisman, Martijn van Berkum, Ulrich Hensel, Hendrik Tews
- 1998
|
|
8
|
Coalgebraic Theories of Sequences in PVS
– Ulrich Hensel, Bart Jacobs
- 1998
|
|
2
|
Foundational, Compositional (Co)datatypes for Higher-Order Logic -- Category Theory Applied to Theorem Proving
– Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
6
|
The least fibred lifting and the expressivity of coalgebraic modal logic
– Bartek Klin
- 2005
|
|
10
|
Non-Deterministic Kleene Coalgebras
– Alexandra Silva, Marcello Bonsangue, Jan Rutten
|
|
24
|
Hidden Coinduction: Behavioral Correctness Proofs for Objects
– Joseph A. Goguen, Grant Malcolm
- 1999
|
|
15
|
Simulations in Coalgebra
– Jesse Hughes, Bart Jacobs
- 2003
|
