The differential calculus of bitstreams

Rutten, Jan

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.

Additional Metadata
MSC	Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (msc 68Q10), Formal languages and automata (msc 68Q45), Semantics (msc 68Q55), Algebraic theory of languages and automata (msc 68Q70), Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)
THEME	Software (theme 1)
Publisher	CWI
Series	Software Engineering [SEN]
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Rutten, J. (2004). The differential calculus of bitstreams. Software Engineering [SEN]. CWI.

Free Full Text ( Final Version , 1mb )

The differential calculus of bitstreams

Publication

Publication

Address

Publishing at CWI

Questions or comments?

The differential calculus of bitstreams

Publication

Publication

Workflow

Workflow

Add Content