Documentation

From Erights

(Difference between revisions)
Jump to: navigation, search
(Papers: dup fix)
(Papers: added Concurrency Among Strangers)
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/talks/promises/paper/tgc05.pdf 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.
== Talks and Presentations ==
== Talks and Presentations ==

Revision as of 04:18, 14 January 2007

Contents

Books

Image:Ewalnut-pink.gif 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.

FAQ

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.

Talks and Presentations

Personal tools
more tools