Documentation
From Erights
m (→Books) |
(→Papers: added ode) |
||
| Line 21: | Line 21: | ||
[http://www.hpl.hp.com/techreports/2003/HPL-2003-222.html Paradigm Regained: Abstraction Mechanisms for Access Control] | [http://www.hpl.hp.com/techreports/2003/HPL-2003-222.html Paradigm Regained: Abstraction Mechanisms for Access Control] | ||
| + | |||
| + | [http://www.erights.org/elib/capability/ode/index.html Capability-based | ||
| + | Financial Instruments] - Also known as An Ode to the [[wikipedia:Mark Granovetter|Granovetter]] Diagram | ||
== Talks and Presentations == | == Talks and Presentations == | ||
Revision as of 13:26, 3 January 2007
Contents |
Books
E in a Walnut - This is a basic tutorial on the E language covering basic, distributed, and secure distributed programming.
Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control. This is Mark Miller's PhD disseration, and it explains the rationale, philosophy, and goals of E and related systems.
Safe_Serialization_Under_Mutual_Suspicion (Wiki conversion in progress)
Tutorials
Tutorials - several short tutorials showing how to use E.
Quick Reference Card - Reminders of some useful patterns.
Papers
Capability-based Financial Instruments "An Ode to the Granovetter Diagram" - diagramming communication relationships.
Paradigm Regained: Abstraction Mechanisms for Access Control
[http://www.erights.org/elib/capability/ode/index.html Capability-based Financial Instruments] - Also known as An Ode to the Granovetter Diagram
