The operating system of the CAP computer designed at Cambridge University in the 1970s, and described at www.research.microsoft.com .
www.cs.washington.edu is the chapter on CAP in Levy Book Capability Based Computer Systems.
Also see Capability Security Model.
See original on c2.com