Concurrent Algorithms as Space-Time Recursion Equations
Marina C. Chen, Carver Mead · CaltechAUTHORS (California Institute of Technology) · 1983
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.