Distributed Algorithms, second edition More Books Like This
Distributed Algorithms
2013
Introduction to Reliable and Secure Distributed Programming
2011
Distributed Programming
2012
Principles of the Spin Model Checker
2008
Understanding Concurrent Systems
2010
Nonsequential and Distributed Programming with Go
2021
Concurrent Programming: Algorithms, Principles, and Foundations
2012
Understanding Control Flow
2016
Formal Refinement for Operating System Kernels
2007
Runtime Verification
2008
A Pipelined Multi-core MIPS Machine
2014
A Practical Introduction to Computer Architecture
2009
Scientific Programming: C-Language, Algorithms and Models in Science
2013
Advanced Lectures on Software Engineering
2010
Parallel Programming
2010