Comment by ProfHewitt

ActorsTheory serves as the rigorous mathematical foundations of capability systems.