Title | Description | Subject | Date | ||
---|---|---|---|---|---|
1 | Design for a micromodular self-timed system, A | 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... | Switching systems; micromodular representations; self-timed systems; interactive design; concurrency | 1972-03 |