| Publication Type |
Technical report |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Clark, Becky Jane |
| Title |
Design for a micromodular self-timed system, A |
| Date |
1972-03 |
| Description |
Abstract: Self-timed systems lend themselves readily to interactive design and implementation of concurrency. These systems and their properties are discussed, and the implementation for a micromodular system is described. The use of formal techniques to design asynchronous machines with concurrency is shown in an example. |
| Type |
Text |
| Publisher |
University of Utah |
| Subject |
Switching systems; micromodular representations; self-timed systems; interactive design; concurrency |
| Subject LCSH |
Sequential machine theory; Computers--Circuits--Research; Telecommunication--Switching systems |
| Language |
eng |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Format Medium |
application/pdf |
| Format Extent |
32,041,403 bytes |
| File Name |
Clark-A_Design_for_a_Micromodular.pdf |
| Conversion Specifications |
Original scanned with Kirtas 2400 and saved as 400 ppi uncompressed TIFF. PDF generated by LIMB™ for CONTENTdm display |
| ARK |
ark:/87278/s6kh37km |
| Setname |
ir_computersa |
| ID |
105916 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6kh37km |
