Understanding Behaviour of Distributed Systems Using mCRL2 More Books Like This

Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
2008
Modelling Distributed Systems Modelling Distributed Systems
Modelling Distributed Systems
2007
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2022
Formal Methods in Computer Science Formal Methods in Computer Science
Formal Methods in Computer Science
2019
Time for Verification Time for Verification
Time for Verification
2010
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2011
CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
2011
Designing Reliable Distributed Systems Designing Reliable Distributed Systems
Designing Reliable Distributed Systems
2018
Reachability Problems Reachability Problems
Reachability Problems
2017
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2010
Concurrency Theory Concurrency Theory
Concurrency Theory
2006
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2009
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2009
SOFSEM 2009: Theory and Practice of Computer Science SOFSEM 2009: Theory and Practice of Computer Science
SOFSEM 2009: Theory and Practice of Computer Science
2009
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2011