A coinductive calculus of streams (2005)

by J. J. M. M. Rutten
Citations:27 - 9 self

Active Bibliography

1 Elements of stream calculus – J. J. M. M. Rutten - 2001
Stream Differential Equations: concrete formats for coinductive definitions – Clemens Kupke, Milad Niqui, Jan Rutten - 2011
Coinductive Proof Techniques for Language Equivalence – Jurriaan Rot, Marcello Bonsangue, Jan Rutten
4 Coinductive Counting With Weighted Automata – J. J. M. M. Rutten - 2002
16 Generalised Coinduction – Falk Bartels - 2001
Coalgebraic Bisimulation-up-to Jurriaan Rot 1,2 ⋆ , Marcello Bonsangue 1,2, and Jan Rutten 2,3 – Centrum Wiskunde En Informatica
62 Automata and coinduction (an exercise in coalgebra – J. J. M. M. Rutten - 1998
52 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
Kleene Coalgebra – an overview – Ra Silva, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde
1 Coinductive counting: bisimulation in enumerative combinatorics (extended abstract). Report SEN-R0129, CWI, 2001. Available at URL http://www.cwi.nl. Also in – J. J. M. M. Rutten - 2002
5 Checking NFA equivalence with bisimulations up to congruence – Damien Pous
DOI: 10.1145/2429069.2429124 Checking NFA equivalence with bisimulations up to congruence – Damien Pous - 2012
Algebraic and Coalgebraic Structures (Lecture Notes for Álgebra de Processos) – Luís Soares Barbosa - 2003
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
From grammars and automata to algebras and coalgebras – Peter Padawitz - 2013
10 A Kleene theorem for polynomial coalgebras – Marcello Bonsangue, Jan Rutten, Ra Silva - 2009
Automata and rational expressions – Jacques Sakarovitch
6 Automata, Power Series, and Coinduction: taking input derivatives seriously (Extended Abstract) – J. J. M. M. Rutten - 1999
1 Kleene Algebras, Rewriting Modulo AC, and Circuits In Coq – Thomas Braibant - 2012