Formal Methods for Multicore Programming More Books Like This
Coordination Models and Languages
2018
Coordination Models and Languages
2016
Formal Techniques for Distributed Objects, Components, and Systems
2016
It's All About Coordination
2018
Models, Languages, and Tools for Concurrent and Distributed Programming
2019
Coordination Models and Languages
2011
Theory and Practice of Formal Methods
2016
Formal Aspects of Component Software
2016
Formal Aspects of Component Software
2020
Coordination Models and Languages
2009
Trustworthy Global Computing
2014
Formal Techniques for Distributed Objects, Components, and Systems
2018
Programming Languages with Applications to Biology and Security
2015
Integrated Formal Methods
2018
Formal Techniques for Distributed Objects, Components, and Systems
2019