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

social