The Music of Streams (2000)

Cached

Download Links

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

Active Bibliography

50 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
1 Elements of stream calculus – J. J. M. M. Rutten - 2001
16 Generalised Coinduction – Falk Bartels - 2001
Regular Real Analysis – Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi
9 Rational and recognisable power series – Jacques Sakarovitch
1 Functional framework for sound synthesis – Jerzy Karczmarczuk - 2005
10 Structure and Interpretation of Quantum Mechanics - a Functional Framework – Jerzy Karczmarczuk - 2003
Contents – Jan Skibiński - 2008
4 Power series, power serious – M. Douglas Mcilroy - 1999
7 Lazy multivariate higher-order forward-mode AD – Barak A. Pearlmutter - 2007
A PVS Implementation of Stream Calculus – For Signal Flow, Hanne Gottliebsen - 2005
3 Induction, Coinduction, and Adjoints – Robin Cockett, Luigi Santocanale - 2002
Additional Key Words and Phrases: Stream circuits – Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva, Queen Mary
1 Hoare Logic in the Abstract – Ursula Martin, Erik A. Mathiesen, Paulo Oliva
London, United Kingdom – unknown authors
Stream Differential Equations: concrete formats for coinductive definitions – Clemens Kupke, Milad Niqui, Jan Rutten - 2011
7 Towards Semantics of Self-Adaptive Software – Dusko Pavlovic - 2000
1 Co-inductive Proofs for Streams in PVS ⋆ – Hanne Gottliebsen
4 Coinductive Counting With Weighted Automata – J. J. M. M. Rutten - 2002