A Coinductive Calculus of Streams (Rutten, 2005)

Last updated Feb 3, 2024

• machines and streams
• convolution product and inverse of streams
• two operations on streams