The Music of Streams (2000)

Cached

Download Links

by M. Douglas Mcilroy
Venue:Information Processing Letters
Citations:2 - 0 self

Documents Related by Co-Citation

4 Lazy Processing and Optimization of Discrete Sequences – Jerzy Karczmarczuk - 1999
2 Generalised coinduction. Report SEN-R0043, CWI, 2000. Available at www.cwi.nl. (Extended abstract – F Bartels - 2000
2 Theory and problems of numerical analysis, Schaum’s outline series, McGraw-Hill – F Scheid - 1968
61 The Use of Integral Transforms – I N Sneddon - 1972
19 Calculus in Coinductive Form – D. Pavlovic, M.H. Escardó - 1998
185 Advanced Combinatorics – L Comtet - 1974
72 On the Bisimulation Proof Method – Davide Sangiorgi - 1994
161 Rational series and their languages – J Berstel, C Reutenauer - 1988
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
62 Automata and coinduction (an exercise in coalgebra – J. J. M. M. Rutten - 1998
209 Derivatives of regular expressions – Janusz A. Brzozowski - 1964
3 A Calculus of Communicating Systems. Springer-Verlag Lecture Notes in Computer Science 92. coinductive calculus of streams 147 – R Milner - 1980
2 Ordinary differential equations (third edition – G Birkhoff, G-C Rota - 1978
1 Non-well-founded sets, CSLILectureNotes14, Center for the Study of Languages and Information – P Aczel - 1988
1 Operational calculus, Pergamon press – J Mikusinski - 1983
1 Accepted for publication in Mathematical Structures in Computer Science – J J M M Rutten - 2003
15 The average case analysis of algorithms: counting and generating functions, INRIA research report 1888 – P Flajolet, R Sedgewick - 1993
9 A tutorial on (co)algebras and (co)induction. Bulletin of the European Association for Theoretical Computer Science 62 – B Jacobs, J Rutten - 1997
19 Elements of stream calculus (an extensive exercise in coinduction – J J M M Rutten - 2001