So far, no general formalism has been proposed for the foundation system. Caromel and Henrio were the first to determine the calculus for distributed objects interacting using asynchronous method calls with futures common - a must in large scale systems, providing both high scalability and low clutch arrangement, and thus. The authors provide a very general result on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility and components. Researchers and graduate students will find here a broad overview same language and calculi, with comprehensive figures and summaries.