Table of Contents

• 1 What is Concurrent Programming?
• 2 The Concurrent Programming Abstraction
• 3 The Critical Section Problem
• 4 Verification of Concurrent Programs
• 5 Advanced Algorithms for the Critical Section Problem
• 6 Semaphores
• 7 Monitors
• 8 Channels
• 9 Spaces
• 10 Distributed Algorithms
• 11 Global Properties
• 12 Consensus
• 13 Real-Time Systems
• A The Pseudocode Notation
• B Review of Mathematical Logic
• C Concurrent Programming Problems
• D Software Tools
• E Further Reading
• Bibliography
• Index

Promotional Information

The latest edition of a classic text on concurrency and distributed programming from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.

About the Author

Mordechai (Moti) Ben-Ari is an Associate Professor in the Department of Science Teaching at the Weizmann Institute of Science in Rehovot, Israel.  He is the author of texts on Ada, concurrent programming, programming languages, and mathematical logic, as well as Just a Theory: Exploring the Nature of Science.  In 2004 he was honored with the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.