|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
4
|
Casl User Manual, volume 2900
– M Bidoit, P D Mosses
- 2004
|
|
1
|
The heterogeneous tool set. Available under http://www.tzi.de/cofi/hets
– T Mossakowski
|
|
1
|
Casl Reference Manual, volume 2960
– P D Mosses, editor
- 2004
|
|
2
|
Behavioural Equivalences for Coalgebras
– J Rothe
- 2003
|
|
8
|
Final semantics for the π-calculus
– F Honsell, M Lenisa, U Montanari, M Pistore
- 1998
|
|
15
|
Generalised Coinduction
– Falk Bartels
- 2001
|
|
24
|
Heterogeneous specification and the heterogeneous tool set. Habilitation thesis
– T Mossakowski
- 2005
|
|
10
|
Behavioural Theory for Mobile Ambients
– Massimo Merro
- 2004
|
|
24
|
Expressive Logics for Coalgebras via Terminal Sequence Induction
– Dirk Pattinson, D- Mnchen
- 2002
|
|
16
|
Algebraic-coalgebraic specification in CoCasl
– Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
- 2006
|
|
8
|
Reduction Semantics for Ambient Calculi
– Maria Grazia Vigliotti
- 2004
|
|
55
|
All about Maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
– M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
- 2007
|
|
4
|
Regular-expression derivatives reexamined
– Scott Owens, John Reppy, Aaron Turon
|
|
2
|
1 Automating Coinduction with Case Analysis
– Eugen-ioan Goriac, Dorel Lucanu, Ru Ioan Cuza Ia¸si, Eugen-ioan Goriac, Dorel Lucanu
|
|
10
|
Non-Deterministic Kleene Coalgebras
– Alexandra Silva, Marcello Bonsangue, Jan Rutten
|
|
1
|
A decision procedure for bisimilarity of generalized regular expressions
– Marcello Bonsangue, Georgiana Caltais, Eugen-ioan Goriac, Jan Rutten, Ra Silva
|
|
3
|
Circular coinduction: a proof theoretical foundation
– G Ro¸su, D Lucanu
- 2009
|
|
1
|
CIRC:abehavioralverification tool based on circular coinduction
– D Lucanu, G Caltais E-I Goriac, andG Ro¸su
- 2009
|
