Luca Aceto
L. Aceto and M. Hennessy.
Termination, deadlock, and divergence.
Journal of the ACM
, 39(1):147-187, January 1992.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database