Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Top Cited Papers
- 3 November 2003
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 308 (1-3) , 1-53
- https://doi.org/10.1016/s0304-3975(02)00895-2
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Generalised CoinductionElectronic Notes in Theoretical Computer Science, 2001
- A Logic for Coalgebraic SimulationElectronic Notes in Theoretical Computer Science, 2000
- IdempotencyPublished by Cambridge University Press (CUP) ,1998
- Bisimulation for probabilistic transition systems: A coalgebraic approachPublished by Springer Nature ,1997
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Une théorie combinatoire des séries formellesAdvances in Mathematics, 1981
- Realization is universalTheory of Computing Systems, 1972
- Coverings of AutomataPublished by Elsevier ,1968
- Derivatives of Regular ExpressionsJournal of the ACM, 1964