Coalgebraic automata theory: Basic results

Cached

Download Links

by Clemens Kupke , Yde Venema
Venue:Logical Methods in Computer Science
Citations:12 - 4 self

Documents Related by Co-Citation

26 Presenting functors by operations and equations – M M Bonsangue, A Kurz - 2006
31 A.: Duality for Logics of Transition Systems – M M Bonsangue, Kurz - 2005
297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
89 Coalgebraic Logic – Lawrence S. Moss - 1999
15 Automata and fixed point logics: a coalgebraic perspective – Yde Venema - 2004
185 A completeness theorem for Kleene algebras and the algebra of regular events – Dexter Kozen - 1994
62 Automata and coinduction (an exercise in coalgebra – J. J. M. M. Rutten - 1998
298 Results on the propositional µ-calculus – D Kozen - 1983
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
51 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
209 Derivatives of regular expressions – Janusz A. Brzozowski - 1964
9 Synthesis of mealy machines using derivatives – Helle Hvid Hansen, David Costa - 2006
19 µ-calculus Synthesis – Orna Kupferman, Moshe Y. Vardi - 2000
297 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
3 A.: Compositional synthesis of generalized mealy machines – S Tini, Maggiolo-Schettini - 2004
10 Executable Protocol Specification in ESL – E. Clarke, S. German, Y. Lu, H. Veith, D. Wang, Tu Vienna - 2000
333 On the synthesis of a reactive module – A Pnueli, R Rosner - 1989
228 Domain Theory in Logical Form – Samson Abramsky - 1991