Return to Article Details Specification and Design of Distributed Systems Download Download PDF