Sampling, splitting and merging in coinductive stream calculus

DOI10.1007/978-3-642-13321-3_18MaRDI QIDQ3575278zbMATH OpenOpenAlexFDO

Authors Milad Niqui, Jan J. M. M. Rutten

Publication date 26 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/14644

zbMATH Keywords

algebraic streamcoinductiondataflow programmingrational streamstream calculusstream circuit

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Elements of stream calculus (an extensive exercise in coinduction)
• A coinductive calculus of streams
• Concrete stream calculus: an extended study
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Functional pearl: streams and unique fixed points

Cited in

(2)

• A proof of Moessner's theorem by coinduction
• Context-free coalgebras

Describes a project that uses

Uses Software

• CIRC
• Reo

This page was built for publication: Sampling, splitting and merging in coinductive stream calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3575278)