Specifying and Proving Properties of Guardians for Distributed Systems (opens in new tab)

Specifying and Proving Properties of Guardians for Distributed Systems Hewitt, Carl; Attardi, Giuseppe; Lieberman, Henry In a distributed system where many processors are connected by a network and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited resource whose use has to be regulated. A guardian is an abstraction that can be used to regulate the use of resources by scheduling their access, providin...