Elements of Stream Calculus

DOI10.1016/S1571-0661(04)80972-1zbMath1260.68246MaRDI QIDQ4917066

Jan J. M. M. Rutten

Publication date: 26 April 2013

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

zbMATH Keywords

streamcoalgebraderivativedifferential equationcountingdifference equationformal power seriescoinductionEuler formulaweighted automatonfinality

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Related Items (11)

Soundness and completeness proofs by coinductive methods ⋮ Data Intensive Distributed Computing in Data Aware Self-organizing Networks ⋮ Unnamed Item ⋮ Behavioural differential equations: a coinductive calculus of streams, automata, and power series ⋮ Probabilistic operational semantics for the lambda calculus ⋮ Specification and verification of concurrent systems by causality and realizability ⋮ Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis ⋮ Coinductive Counting ⋮ Induction, Coinduction, and Adjoints ⋮ Distributive laws for monotone specifications ⋮ A tutorial on coinductive stream calculus and signal flow graphs

Cites Work

• Combinatorial aspects of continued fractions
• A calculus of communicating systems
• Generating power of lazy semantics
• Universal coalgebra: A theory of systems
• The music of streams
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• On the bisimulation proof method
• Germs and their Operational Calculus
• Derivatives of Regular Expressions
• Unnamed Item
• 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: Elements of Stream Calculus