Actors and Continuous Functionals

This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of computations that are physically realizable .

Bibliografische gegevens
Hoofdauteurs: Hewitt, Carl, Baker, Henry Givens, Jr.
Gepubliceerd in: 2023
Online toegang:https://hdl.handle.net/1721.1/149483