Laws for Communicating Parallel Processes

Author(s)
Baker, Henry; Hewitt, Carl
Thumbnail
DownloadMain article (760.4Kb)
Metadata
Show full item record
Abstract
This paper presents some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating restrictions on the histories of computations that are physically realizable. The laws are intended to characterize aspects of parallel computations that are independent of the number of physical processors that are used in the computation.
Description
DRAFT COPY ONLY Working Papers are informal papers intended for internal use. This report describes research conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for this research was provided in part by the Office of Naval Research of the Department of Defense under contract N00014-75-C-0522.
Date issued
1976-11
URI
http://hdl.handle.net/1721.1/41973
Publisher
MIT Artificial Intelligence Laboratory
Series/Report no.
MIT Artificial Intelligence Laboratory Working Papers, WP-134;
Collections