Nonsequential and Distributed Programming with Go More Books Like This
Networked Systems
2019
Coordination Models and Languages
2009
Formal Methods for Multicore Programming
2015
Networked Systems
2019
Coordination Models and Languages
2016
Formal Techniques for Distributed Objects, Components, and Systems
2018
Verified Software. Theories, Tools and Experiments.
2023
Formal Techniques for Distributed Objects, Components, and Systems
2016
Formal Techniques for Distributed Objects, Components, and Systems
2017
Coordination Models and Languages
2011
Networked Systems
2017
Trustworthy Global Computing
2014
Coordination Models and Languages
2018
Trustworthy Global Computing
2016
Networked Systems
2021