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

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

162

A final coalgebra theorem
– Peter Aczel, Nax Mendler
 1989

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

ManySorted Coalgebraic Modal Logic: a Modeltheoretic 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

15

From Settheoretic 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

80

Two complete axiom systems for the algebra of regular events
– A Salomaa
 1966
