"Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and Components" - читать интересную книгу автора (Denis Caromel, Ludovic Henrio, Luca Cardelli)