Automata and coinduction (an exercise in coalgebra (1998)

by J. J. M. M. Rutten
Venue:LNCS
Citations:62 - 16 self

Documents Related by Co-Citation

209 Derivatives of regular expressions – Janusz A. Brzozowski - 1964
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
188 A completeness theorem for Kleene algebras and the algebra of regular events – Dexter Kozen - 1994
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
379 Representation of events in nerve nets and finite automata – S C Kleene - 1956
3843 Introduction to Automata Theory, Languages, and Computation (2nd Edition – R M J E Hopcroft, J Ullman - 2000
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
3219 Communication and Concurrency – R Milner - 1990
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
89 Coalgebraic Logic – Lawrence S. Moss - 1999
72 On the Bisimulation Proof Method – Davide Sangiorgi - 1994
279 Regular Algebra and Finite Machines – J H Conway - 1971
9 A.: Coalgebraic Logic and Synthesis of Mealy Machines – M. M. Bonsangue, Jan Rutten, Ra Silva
14 On the coalgebraic theory of Kleene algebra with tests – Dexter Kozen - 2008
52 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
26 Presenting functors by operations and equations – M M Bonsangue, A Kurz - 2006
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
10 A Kleene theorem for polynomial coalgebras – Marcello Bonsangue, Jan Rutten, Ra Silva - 2009