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 2? of bitstreams, motivating each of them in terms of the digital circuits they can describe.

, , , ,
Software Engineering [SEN]
Computer Security

Rutten, J.J.M.M. (2004). The differential calculus of bitstreams. Software Engineering [SEN]. CWI.