Comment by ProfHewitt

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