The Differential Calculus of Bitstreams

Using (stream) differential equations for definitions and coinduction for proofs, we define, analyse, and relate in a uniform way four different algebraic structures on the set of bitstreams (infinite sequences of 0's and 1's), characterising them in terms of the digital circuits they can describe.

hosted by