Security and Modularity in Message Passing
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Office of Naval Research of the Department of Defense under contract N00014-75-C-0...
Main Authors: | Hewitt, Carl, Attardi, Giuseppe, Lieberman, Henry |
---|---|
Format: | Working Paper |
Language: | en_US |
Published: |
MIT Artificial Intelligence Laboratory
2008
|
Online Access: | http://hdl.handle.net/1721.1/41147 |
Similar Items
-
Specifying and Proving Properties of Guardians for Distributed Systems
by: Hewitt, Carl, et al.
Published: (2008) -
Specifying and Proving Properties of Guardians for Distributed Systems
by: Hewitt, Carl, et al.
Published: (2004) -
Critical field-exponents for secure message-passing in modular networks
by: Louis M Shekhtman, et al.
Published: (2018-01-01) -
Using Message Passing Instead of the GOTO Construct
by: Hewitt, Carl
Published: (2008) -
Viewing Control Structures as Patterns of Passing Messages
by: Hewitt, Carl
Published: (2004)