Distributed termination (1980)

by N Francez
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS