A General Purpose Algorithm for Analyzing Concurrent Programs (1983)

by Richard N Taylor
Venue:Communications of the ACM