Termination detection of diffusing computations in csp (1982)

by K M Chandy, J Misra
Venue:ACM TOPLAS