Distributed Programming More Books Like This
Nonsequential and Distributed Programming with Go
2021
Programming Languages and Systems
2010
Understanding Concurrent Systems
2010
Modern Compiler Implementation in C
1997
Behavioural Types
2022
Practical Aspects of Declarative Languages
2021
Runtime Verification
2008
A Pipelined Multi-core MIPS Machine
2014
Formal Methods for Multicore Programming
2015
Engineering Theories of Software Intensive Systems
2006
Practical Aspects of Declarative Languages
2011
Programming Languages and Systems
2009
Principles of the Spin Model Checker
2008
Concurrent Programming: Algorithms, Principles, and Foundations
2012
Verified Software. Theories, Tools, and Experiments
2018