Laws for Communicating Parallel Processes (opens in new tab)

Laws for Communicating Parallel Processes Baker, Henry; Hewitt, Carl This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and take the form of stating plausible restrictions on the histories of parallel computations to make them physically realizable. The laws are justified by appeal to physical intuition and are to be regarded as fa...