A General-Purpose Algorithm for Analyzing Concurrent Programs (1983)

by R N TAYLOR
Venue:Communications of the ACM