A Formal Model for Simulations
Hagit Attiya, Jennifer Lundelius Welch · Distributed Computing · 2004
This chapter augments the formal model to handle specifications and implementations of distributed problems. The purpose is to support the subsequent presentation of tools and abstractions for simplifying the design of distributed algorithms.