Publisher description for Distributed systems : design and algorithms / edited by Serge Haddad ... [et al.].

Bibliographic record and links to related information available from the Library of Congress catalog

Information from electronic data provided by the publisher. May be incomplete or contain other coding.

This book presents distributed systems from a designer's point-of-view. First, it gives examples of systems taken from industrial case studies. Then, it suggests how to model them from system requirements, keeping in mind formal analysis to enforce their accuracy.

Library of Congress subject headings for this publication:
Electronic data processing -- Distributed processing.
Peer-to-peer architecture (Computer networks)
Computer algorithms.
Embedded computer systems.
Real-time data processing.