An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs

A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.

Mit der Verfügbarkeit verteilter Systeme wächst der Bedarf an einer fundamentalen Diskussion dieses Gebiets. Hier ist sie! Abgedeckt werden die grundlegenden

Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specificati