Preface

Concurrent and distributed programming are no longer the esoteric subjects for graduate students that they were years ago. Programs today are inherently concurrent or distributed, from event-based implementations of graphical user interfaces to operating and real-time systems to Internet applications like multiuser games, chats and ecommerce. Modern programming languages and systems (including Java, the system most widely used in education) support concurrent and distributed programming within their standard libraries. These subjects certainly deserve a central place in computer science education.

What has not changed over time is that concurrent and distributed programs cannot be “hacked.” Formal methods must be used in their specification ...

Get Principles of Concurrent and Distributed Programming, Second Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.