Models, Languages, and Tools for Concurrent and Distributed Programming More Books Like This
Coordination Models and Languages
2018
Programming Languages with Applications to Biology and Security
2015
It's All About Coordination
2018
Theory and Practice of Formal Methods
2016
Formal Techniques for Distributed Objects, Components, and Systems
2019
Formal Techniques for Distributed Objects, Components, and Systems
2016
Trustworthy Global Computing
2016
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020
Formal Aspects of Component Software
2016
Formal Aspects of Component Software
2017
Integrated Formal Methods
2018
Integrated Formal Methods
2019
Coordination Models and Languages
2016
Unifying Theories of Programming
2019
Formal Aspects of Component Software
2017