Browsing AI Working Papers (1971 - 1995) by Author "Baker, Henry"
Now showing items 1-2 of 2
-
Laws for Communicating Parallel Processes
Baker, Henry; Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1976-11)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. ... -
Laws for Communicating Parallel Processes
Baker, Henry; Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1977-05-10)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 ...