A Caltech Library Service

Concurrent Algorithms as Space-time Recursion Equations

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.

[img] PDF - Published Version
See Usage Policy.


Use this Persistent URL to link to this item:


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:
URLURL TypeDescription copy of chapter
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.
Funding AgencyGrant Number
System Development FoundationUNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)3771
Office of Naval Research (ONR)N00014-79-C-0597
IBM Doctoral FellowshipUNSPECIFIED
Record Number:CaltechAUTHORS:20150318-140330182
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:55897
Deposited On:18 Mar 2015 21:41
Last Modified:03 Oct 2019 08:09

Repository Staff Only: item control page