Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published 1983 | Published
Book Section - Chapter Open

Concurrent Algorithms as Space-time Recursion Equations


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 (1.3 MB)
Name Size Download all
1.3 MB Preview Download

Additional details

August 19, 2023
March 5, 2024