8 citations · 8 across the 1 of their papers we have counts for
1 paper
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…