Automata and coinduction (an exercise in coalgebra (1998)

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

Active Bibliography

297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
Kleene Coalgebra – an overview – Ra Silva, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde
2 Coalgebra, Concurrency, and Control – J. J. M. M. Rutten - 1999
1 Kleene Algebras, Rewriting Modulo AC, and Circuits In Coq – Thomas Braibant - 2012
Axioms for Asynchronous Processes – Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis
1 Elements of stream calculus – J. J. M. M. Rutten - 2001
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
4 Language preorder as a precongruence – Wan Fokkink
Coinductive Proof Techniques for Language Equivalence – Jurriaan Rot, Marcello Bonsangue, Jan Rutten
15 Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory – Gheorghe Stefanescu
50 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
6 A tactic for deciding Kleene algebras – Thomas Braibant, Damien Pous - 2009
34 From Regular Expressions to DFA's Using Compressed NFA's – Chia-hsiang Chang, A. Paige - 1992
journal homepage: www.elsevier.com/locate/tcs – Venanzio Capretta
The Differential Calculus of Bitstreams (Extended Abstract) – J. J. M. M. Rutten - 2004
7 Deriving syntax and axioms for quantitative regular behaviours – Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva - 2009
13 Non-Deterministic Kleene Coalgebras – Alexandra Silva, Marcello Bonsangue, Jan Rutten
1 Automata, Boolean Matrices, and Ultimate Periodicity – Guo-qiang Zhang - 1999
Automata and rational expressions – Jacques Sakarovitch