Introduction to Reliable and Secure Distributed Programming More Books Like This

Distributed Algorithms, second edition Distributed Algorithms, second edition
Distributed Algorithms, second edition
2018
Concurrent Programming: Algorithms, Principles, and Foundations Concurrent Programming: Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations
2012
Nonsequential and Distributed Programming with Go Nonsequential and Distributed Programming with Go
Nonsequential and Distributed Programming with Go
2021
Distributed Algorithms Distributed Algorithms
Distributed Algorithms
2013
Principles of the Spin Model Checker Principles of the Spin Model Checker
Principles of the Spin Model Checker
2008
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2011
Runtime Verification Runtime Verification
Runtime Verification
2008
Understanding Concurrent Systems Understanding Concurrent Systems
Understanding Concurrent Systems
2010
Formal Models of Operating System Kernels Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
2007
Behavioural Types Behavioural Types
Behavioural Types
2022
Practical Concurrent Haskell Practical Concurrent Haskell
Practical Concurrent Haskell
2017
Understanding Control Flow Understanding Control Flow
Understanding Control Flow
2016
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2021
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2010
Distributed Programming Distributed Programming
Distributed Programming
2012