ActorsTheory serves as the rigorous mathematical foundations of capability systems.