Concurrency Theory More Books Like This
Formal Techniques for Distributed Systems
2010
Integrated Formal Methods
2009
Fundamentals of Software Engineering
2010
Theoretical Aspects of Computing - ICTAC 2015
2015
Theoretical Aspects of Computing - ICTAC 2008
2008
Formal Techniques for Distributed Objects, Components, and Systems
2017
Concurrency, Compositionality, and Correctness
2010
Formal Techniques for Distributed Systems
2011
International Symposium on Fundamentals of Software Engineering
2007
Integrated Formal Methods
2007
A Process Algebraic Approach to Software Architecture Design
2010
Domain Modeling and the Duration Calculus
2007
Unifying Theories of Programming
2017
Models, Algorithms, Logics and Tools
2017
Formal Modeling and Analysis of Timed Systems
2018