A Process Algebraic Approach to Software Architecture Design More Books Like This
Formal Techniques for Distributed Systems
2011
Fundamentals of Software Engineering
2010
Concurrency, Compositionality, and Correctness
2010
International Symposium on Fundamentals of Software Engineering
2007
Coordination Models and Languages
2009
Models, Algorithms, Logics and Tools
2017
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Dependable Software Engineering. Theories, Tools, and Applications
2017
Formal Techniques for Distributed Objects, Components, and Systems
2017
Concurrency Theory
2006
Coordination Models and Languages
2016
Formal Techniques for Distributed Objects, Components, and Systems
2022
Theoretical Aspects of Computing - ICTAC 2008
2008
Formal Techniques for Distributed Systems
2009
Theory and Practice of Formal Methods
2016