Rational series and their languages
Rational series and their languages
Generating functionology
The algebra of stream processing functions
Theoretical Computer Science
Automatic Sequences: Theory, Applications, Generalizations
Automatic Sequences: Theory, Applications, Generalizations
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A coinductive calculus of streams
Mathematical Structures in Computer Science
A tutorial on coinductive stream calculus and signal flow graphs
Theoretical Computer Science - Formal methods for components and objects
Comonadic Notions of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Coinductive Properties of Causal Maps
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
CIRC: a circular coinductive prover
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Automating coinduction with case analysis
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Concrete stream calculus: An extended study
Journal of Functional Programming
Proving the unique fixed-point principle correct: an adventure with category theory
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |
We study various operations for partitioning, projecting and merging streams of data. These operations are motivated by their use in dataflow programming and the stream processing languages. We use the framework of stream calculus and stream circuits for defining and proving properties of such operations using behavioural differential equations and coinduction proof principles. We study the invariance of certain well patterned classes of streams, namely rational and algebraic streams, under splitting and merging. Finally we show that stream circuits extended with gates for dyadic split and merge are expressive enough to realise some non-rational algebraic streams, thereby going beyond ordinary stream circuits.