Reasoning about systems with many processes (1992)

by S M German, A P Sistla
Venue:Journal of the ACM