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
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png) |
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: | Kristin Buxton | ||||||||||
| Deposited On: | 18 Mar 2015 21:41 | ||||||||||
| Last Modified: | 03 Oct 2019 08:09 |
Repository Staff Only: item control page
