Laws for Communicating Parallel Processes

dc.contributor.author	Baker, Henry
dc.contributor.author	Hewitt, Carl
dc.date.accessioned	2008-08-26T15:04:04Z
dc.date.available	2008-08-26T15:04:04Z
dc.date.issued	1976-11
dc.identifier.uri	http://hdl.handle.net/1721.1/41973
dc.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.	en
dc.description.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.	en
dc.description.sponsorship	MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agency	en
dc.language.iso	en_US	en
dc.publisher	MIT Artificial Intelligence Laboratory	en
dc.relation.ispartofseries	MIT Artificial Intelligence Laboratory Working Papers, WP-134;
dc.title	Laws for Communicating Parallel Processes	en
dc.type	Working Paper	en