CaltechAUTHORS
  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. https://resolver.caltech.edu/CaltechAUTHORS:20150318-140330182

[img] 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:
URLURL TypeDescription
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADP002605OtherDTIC 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.
Funders:
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: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