Specifying and Proving Properties of Guardians for Distributed Systems
This report describes research conducted 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 Advanced Research Projects Agency of the Department of Defense under Office o...
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/41140 |
Similar Items
-
Specifying and Proving Properties of Guardians for Distributed Systems
by: Hewitt, Carl, et al.
Published: (2004) -
Guardians for Concurrent Systems
by: Hewitt, Carl, et al.
Published: (2008) -
Security and Modularity in Message Passing
by: Hewitt, Carl, et al.
Published: (2008) -
PLANNER: A Language for Proving Theorems
by: Hewitt, Carl
Published: (2004) -
PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
by: Hewitt, Carl
Published: (2004)