Browsing AI Working Papers (1971 - 1995) by Author "Attardi, Giuseppe"

Now showing items 1-3 of 3

    • Guardians for Concurrent Systems 

      Hewitt, Carl; Attardi, Giuseppe (MIT Artificial Intelligence Laboratory, 1980-12)
      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 ...

    • Security and Modularity in Message Passing 

      Hewitt, Carl; Attardi, Giuseppe; Lieberman, Henry (MIT Artificial Intelligence Laboratory, 1979-02)
      This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ...

    • Specifying and Proving Properties of Guardians for Distributed Systems 

      Hewitt, Carl; Attardi, Giuseppe; Lieberman, Henry (MIT Artificial Intelligence Laboratory, 1979-05)
      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 ...