The Differential Calculus of Bitstreams (Extended Abstract)
Abstract
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 2 of bitstreams, motivating each of them in terms of the digital circuits they can describeSimilar works
This paper was published in CiteSeerX.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.