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

stream; coalgebra; derivative; differential equation; counting; difference equation; formal power series; coinduction; Euler formula; weighted automaton; finality

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q65: Abstract data types; algebraic specification

Related Items

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

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