Who This Author Is

M. Ben-Ari writes for readers tackling the fundamentals of concurrent and distributed systems. His book focuses on clear explanations of processes, communication, synchronization, and reasoning techniques, using examples and exercises to bridge theory and practical design for students and engineers learning to build correct concurrent programs.

The work emphasizes formal modeling alongside intuitive understanding: state models, mutual exclusion, deadlock, and distributed algorithms appear with step-by-step development. Ben-Ari’s text is organized to support course use and self-study, guiding readers from basic concepts to methods for proving and debugging concurrent and distributed behavior.

Best Place To Start

Author At A Glance

Best known for: Concurrency theory • Distributed algorithms • Synchronization techniques

Genres and themes: Computer science textbook • Formal models • Practical examples

Who this author is best for: Ideal for graduate students and practitioners who want a rigorous, example-driven introduction to concurrent and distributed programming.

Start with the second edition of Principles of Concurrent and Distributed Programming to follow updated examples and exercises.

Top Books To Start With

  1. Principles of Concurrent and Distributed Programming (2nd Edition) (Prentice-Hall International Series in Computer Science)

    Addison-Wesley • 2006 • longer commitment

    UPB note: year signal: 2006 • 384 pages.

  2. Understanding programming languages

    John Wiley & Sons Inc • 1996 • longer commitment

    UPB note: one of the most common used-copy publishers for this author • year signal: 1996 • 360 pages.

  3. Mathematical logic for computer science

    Springer • 2003 • standard commitment

    UPB note: year signal: 2003 • 304 pages.

  4. Ada for Software Engineers -

    John Wiley & Sons Inc • 1998 • longer commitment

    UPB note: one of the most common used-copy publishers for this author • year signal: 1998 • 425 pages.

  5. Principles of Concurrent and Distributed Programming (Prentice Hall International Series in Computer Science)

    Prentice Hall • 1990 • standard commitment

    UPB note: year signal: 1990 • 225 pages.

How The Picks Compare