Quantification of reachable attractors in asynchronous discrete dynamics

Nuno D. Mendes, Pedro T. Monteiro, Jorge Carneiro +2

Motivation: Models of discrete concurrent systems often lead to huge and complex state transition graphs that represent their dynamics. This makes difficult to analyse dynamical pr…