Modeling Concurrent Systems

Catalog description

Formal methods for specifying, modeling, and analyzing concurrent systems, and mathematical basis for such methods. Automated and semi-automated tools to apply these methods to analyze emergent behavior of computing related applications.