9 citations · 36 across the 34 of their papers we have counts for
1 paper · 1 filter
Marius Bozga, Javier Esparza, Radu Iosif +2
We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components commu…