Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series (2000)

Cached

Download Links

by J. J. M. M. Rutten
Citations:52 - 17 self

Documents Related by Co-Citation

15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
24 On the productivity of recursive list definitions – Ben A Sijtsma - 1989
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
209 Derivatives of regular expressions – Janusz A. Brzozowski - 1964
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
13 A term calculus for (co-)recursive definitions on streamlike data structures – W Buchholz - 2005
120 Proving the correctness of reactive systems using sized types – John Hughes, Lars Pareto, Amr Sabry - 1996
62 Automata and coinduction (an exercise in coalgebra – J. J. M. M. Rutten - 1998
59 Partial Derivatives of Regular Expressions and Finite Automata Constructions – Valentin Antimirov - 1995
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
161 Rational series and their languages – J Berstel, C Reutenauer - 1988
115 On the definition of a family of automata – M Schützenberger - 1961
6 Infinitary Normalization – Jan Willem Klop, Roel De Vrijer - 2005
163 Interaction nets – Y Lafont - 1990
112 Automatic Sequences: Theory, Applications, Generalizations – J P Allouche, J Shallit - 2003