Cover Image

Fault-Tolerant Message-Passing Distributed Systems : An Algorithmic Approach /

This book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms, in particular in terms of reliable communication and agreement, which lie at the heart of nearly all distributed applications. These programming abstractions, distri...

Full description

Bibliographic Details
Main Author:	Raynal, Michel (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Subjects:	Information theory. Computer network architectures. Telecommunication. Theory of Computation. Computer Systems Organization and Communication Networks. Communications Engineering, Networks. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Emerging Wireless Communication and Network Technologies : Principle, Paradigm and Performance /
Published: (2018)

Cloud Computing : Concepts and Practices /
by: Sehgal, Naresh Kumar, et al.
Published: (2018)

Intelligent Embedded Systems : Select Proceedings of ICNETS2, Volume II /
Published: (2018)

Communications and Networking : 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017, Proceedings, Part I /
Published: (2018)

Smart Cities : Applications, Technologies, Standards, and Driving Factors /
Published: (2018)

Scalable Big Data Analytics for Protein Bioinformatics : Efficient Computational Solutions for Protein Structures /
by: Mrozek, Dariusz
Published: (2018)

This Changes Everything - ICT and Climate Change: What Can We Do? : 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19-21, 2018, Proceedings /
Published: (2018)

Smart Computing and Communication : Second International Conference, SmartCom 2017, Shenzhen, China, December 10-12, 2017, Proceedings /
Published: (2018)

Stochastic Models in Reliability, Network Security and System Safety : Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday /
Published: (2019)

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems /
Published: (2018)

HCI International 2018 - Posters' Extended Abstracts : 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I /
Published: (2018)

Computational Science - ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018 Proceedings, Part III /
Published: (2018)

Security and Cryptography for Networks : 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings /
Published: (2018)

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /
Published: (2021)

Reinforcement Learning for Optimal Feedback Control : A Lyapunov-Based Approach /
by: Kamalapurkar, Rushikesh, et al.
Published: (2018)

Power System Operations /
by: Conejo, Antonio J., et al.
Published: (2018)

Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2020 /
Published: (2021)

Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II /
Published: (2018)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings /
Published: (2018)

Fractional-order Modeling of Nuclear Reactor: From Subdiffusive Neutron Transport to Control-oriented Models : A Systematic Approach /
by: Vyawahare, Vishwesh, et al.
Published: (2018)

The Electric Century : How the Taming of Lightning Shaped the Modern World /
by: Williams, J. B.
Published: (2018)

Spatial Cognition XI : 11th International Conference, Spatial Cognition 2018, Tubingen, Germany, September 5-8, 2018, Proceedings /
Published: (2018)

Guide to Vulnerability Analysis for Computer Networks and Systems : An Artificial Intelligence Approach /
Published: (2018)

Communications and Networking : 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II /
Published: (2018)

Recent Findings in Intelligent Computing Techniques : Proceedings of the 5th ICACNI 2017, Volume 3 /
Published: (2018)

Artificial Neural Networks and Machine Learning - ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III /
Published: (2018)

Artificial Neural Networks and Machine Learning - ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I /
Published: (2018)

Foraging-Inspired Optimisation Algorithms /
by: Brabazon, Anthony, et al.
Published: (2018)

Advanced Multimedia and Ubiquitous Engineering : MUE/FutureTech 2018 /
Published: (2019)

Pro DevOps with Google Cloud Platform : With Docker, Jenkins, and Kubernetes /
by: Riti, Pierluigi
Published: (2018)

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published: (2020)

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I /
Published: (2021)

Robust Hand Gesture Recognition for Robotic Hand Control /
by: Chaudhary, Ankit
Published: (2018)

Geo-Spatial Knowledge and Intelligence : 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part II /
Published: (2018)

Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II /
Published: (2020)

LATIN 2020: Theoretical Informatics : 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings /
Published: (2020)

Innovative Techniques and Applications of Modelling, Identification and Control : Selected and Expanded Reports from ICMIC'17 /
Published: (2018)

Real-Time C++ : Efficient Object-Oriented and Template Microcontroller Programming /
by: Kormanyos, Christopher
Published: (2018)

Research in Attacks, Intrusions, and Defenses : 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings /
Published: (2018)

Secure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings /
Published: (2018)