In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are a

In light of research over the last decade on new ways of representing and performing computations, this book provides a timely reexamination of computer organiz

This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hambu

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