Distributed termination (1980)

by N Francez
Venue:ACM TOPLAS