Behavioural differential equations: a coinductive calculus of streams, automata, and power series

DOI10.1016/S0304-3975(02)00895-2zbMath1071.68050OpenAlexW2107354844MaRDI QIDQ1884876

Jan J. M. M. Rutten

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00895-2

zbMATH Keywords

Differential equationCoalgebraBisimulationFormal power seriesAutomatonCoinductionHomomorphismFormal languageFinalityInput derivativeStream

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (45)

Unnamed Item ⋮ Finiteness spaces and generalized power series ⋮ Determinization of timed Petri nets behaviors ⋮ Productivity of stream definitions ⋮ Derived-Term Automata for Extended Weighted Rational Expressions ⋮ Weighted Bisimulation in Linear Algebraic Form ⋮ Coinduction in Concurrent Timed Systems ⋮ Structural congruence for bialgebraic semantics ⋮ Newton series, coinductively: a comparative study of composition ⋮ Rational and Recognisable Power Series ⋮ Manipulation of regular expressions using derivatives: an overview ⋮ Subsequential transducers: a coalgebraic perspective ⋮ Proving language inclusion and equivalence by coinduction ⋮ A coalgebraic perspective on linear weighted automata ⋮ Unnamed Item ⋮ Enhanced coalgebraic bisimulation ⋮ A model of guarded recursion via generalised equilogical spaces ⋮ On coalgebras over algebras ⋮ Bialgebras for structural operational semantics: an introduction ⋮ The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types ⋮ Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Pointwise extensions of GSOS-defined operations ⋮ Tree dimension in verification of constrained Horn clauses ⋮ From Grammars and Automata to Algebras and Coalgebras ⋮ Concrete stream calculus: An extended study ⋮ Elements of Stream Calculus ⋮ A coinductive calculus of binary trees ⋮ A Final Coalgebra for k-regular Sequences ⋮ Product Rules and Distributive Laws ⋮ A semiring-based trace semantics for processes with applications to information leakage analysis ⋮ Derivatives of rational expressions with multiplicity ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ Processes as formal power series: a coinductive approach to denotational semantics ⋮ Automatic pre- and postconditions for partial differential equations ⋮ (Bi)simulations up-to characterise process semantics ⋮ On the Coalgebra of Partial Differential Equations ⋮ The Bird Tree ⋮ Derived-Term Automata of Multitape Rational Expressions ⋮ Automata and rational expressions ⋮ Distributive laws for monotone specifications ⋮ Context-free coalgebras ⋮ On the complexity of stream equality ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction

Cites Work

• A calculus of communicating systems
• Une théorie combinatoire des séries formelles
• Bisimulation through probabilistic testing
• Universal coalgebra: A theory of systems
• Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Elements of Stream Calculus
• Power series, power serious
• Two Complete Axiom Systems for the Algebra of Regular Events
• Derivatives of Regular Expressions
• Realization is universal
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Behavioural differential equations: a coinductive calculus of streams, automata, and power series