Documentation
From Erights
(→Papers: added Concurrency Among Strangers) |
(→Books) |
||
| Line 1: | Line 1: | ||
| - | == Books == | + | == Books and Theses == |
| + | |||
| + | [[http://gonzo.uni-weimar.de/~scheffl2/Diploma_MScheffler.pdf Object-Capability Security in Virtual Environments]] | ||
[[Image:Ewalnut-pink.gif]] | [[Image:Ewalnut-pink.gif]] | ||
Revision as of 00:16, 31 October 2007
Contents |
Books and Theses
[Object-Capability Security in Virtual Environments]
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
Concurrency Among Strangers: Programming in E as Plan Coordination - by Mark S. Miller, E. Dean Tribble, Jonathan Shapiro. Explains E's concurrency control & distributed computing model.
