Developing Correct Distributed Systems: Real World Case Studies

The Rebeca Model Checker helps modelers and developers understand the importance of shared memory and the role it plays in the development of distributed systems.