top | item 30029331

(no title)

Foundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.

discuss

jrtc27|4 years ago

CHERI is not an actor system. It is a capability system aimed at memory protection. It can be used, like any other architecture, as a basis upon which to build an actor-based framework/system, but it is no more of an actor system than, say, x86. The concepts are deeply rooted in the capability system literature.

ProfHewitt|4 years ago

ActorsTheory serves as the rigorous mathematical foundations of capability systems.