Chen, Marina C. and Mead, Carver A. (1983) Concurrent Algorithms as Space-time Recursion Equations. In: Proceedings of USC Workshop on VLSI & Modern Signal Processing, November 1-3, 1982. University of Southern California , Los Angeles, CA, pp. 34-52. https://resolver.caltech.edu/CaltechAUTHORS:20150318-140330182
![]() |
PDF
- Published Version
See Usage Policy. 1MB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20150318-140330182
Abstract
In this paper, we describe a methodology and a single notation for the specification and verification of synchronous and self-timed concurrent systems ranging from the level of transistors to communicating processes. The uniform treatment of these systems results in a powerful abstraction mechanism which allows management of system complexity.
Item Type: | Book Section | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| ||||||||||
Additional Information: | This work is sponsored by System Development Foundation and its initial phase by Defense Advanced Research Projects Agency ARPA Order #3771 and monitored by Office of Naval Research Contract #N00014-79-C-0597. One of us (M.C.) was supported by an IBM Doctoral Fellowship. | ||||||||||
Funders: |
| ||||||||||
Record Number: | CaltechAUTHORS:20150318-140330182 | ||||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20150318-140330182 | ||||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||||||
ID Code: | 55897 | ||||||||||
Collection: | CaltechAUTHORS | ||||||||||
Deposited By: | INVALID USER | ||||||||||
Deposited On: | 18 Mar 2015 21:41 | ||||||||||
Last Modified: | 03 Oct 2019 08:09 |
Repository Staff Only: item control page