Guardians for Concurrent Systems (opens in new tab)

Guardians for Concurrent Systems Hewitt, Carl; Attardi, Giuseppe In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the sequential stored program model. We develop the notion of a guardian as a module that regulates the use of shared resources by scheduling their access, providing protection, and implementing recovery from hardware...