Published 1983
| Published
Book Section - Chapter
Open
Concurrent Algorithms as Space-time Recursion Equations
- Creators
- Chen, Marina C.
-
Mead, Carver A.
- Other:
- Kung, S. Y.
Chicago
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.
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.Attached Files
Published - ADP002605-2.pdf
Files
ADP002605-2.pdf
Files
(1.3 MB)
Name | Size | Download all |
---|---|---|
md5:1b9c2afbd42375883cf14d549839ae03
|
1.3 MB | Preview Download |
Additional details
- Eprint ID
- 55897
- Resolver ID
- CaltechAUTHORS:20150318-140330182
- System Development Foundation
- Defense Advanced Research Projects Agency (DARPA)
- 3771
- Office of Naval Research (ONR)
- N00014-79-C-0597
- IBM Doctoral Fellowship
- Created
-
2015-03-18Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field