A Formal Definition Universe for Complexes of Interacting Digital Systems

Simple item page
dc.contributor.authorFitzwater, D.R.en_US
dc.contributor.authorSmith, Pamela Z.en_US
dc.date.accessioned2012-03-15T16:22:45Z
dc.date.available2012-03-15T16:22:45Z
dc.date.created1973en_US
dc.date.issued1973en
dc.description.abstractA language is presented for describing any asynchronous complex of interacting digital systems at any level of abstraction. The resulting representation is a definition of the complex of systems which is both formal, and effective, meaning that it is interpretable by a deterministic automaton. Thus it can be used to study system structures and develop practical design tools. After the explanation of the formal definition universe, annotated examples of system representations are given. Their usefulness for proving assertions about systems is established in an outline of present and future research, with the ultimate goal of providing assistance for the total design process.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationTR184en
dc.identifier.urihttp://digital.library.wisc.edu/1793/57812
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleA Formal Definition Universe for Complexes of Interacting Digital Systemsen_US
dc.typeTechnical Reporten_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR184.pdf
Size:
3.8 MB
Format:
Adobe Portable Document Format
Download

Collections

CS Technical Reports