TY  - BOOK
AU  - Perrin,Matthieu
TI  - Distributed systems: concurrency and consistency 
SN  - 1785482262 (pbk.)
AV  - QA76.9.D5 P47 2017
U1  - 004/.36 23
PY  - 2017///
CY  - Kidington, Oxford, UK
PB  - Elsevier
KW  - Electronic data processing
KW  - Distributed processing
KW  - System design
N1  - Includes bibliographical references and index
N2  - Distributed Systems: Concurrency and Consistency explores the gray area of distributed systems and draws a map of weak consistency criteria, identifying several families and demonstrating how these may be implemented into a programming language. Unlike their sequential counterparts, distributed systems are much more difficult to design, and are therefore prone to problems. On a large scale, usability reminiscent of sequential consistency, which would provide the same global view to all users, is very expensive or impossible to achieve. This book investigates the best ways to specify the objects that are still possible to implement in these systems
ER  -