An object-oriented programming language
that takes a Java
-like syntax and builds a pervasively capability
-based protection system with eventual message-sending and transparent distribution of objects.
See also the Actor paradigm (from E's History below: At the Vat granularity, E is an Actor system.).
This page is linked from: Actor Capability Salsa Security