Reasoning about networks with many identical processes (1989)

by E. M. Clarke, O. Grijmberg, M. C. Browne
Venue:Information and Computation