A general-purpose algorithm for analyzing concurrent programs (1983)

by Richard N Taylor
Venue:Communications of the ACM