Denis Caromel, Ludovic Henrio, Luca Cardelli

Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and Components