Skip to content

Termination, Deadlock and Divergence.

Luca Aceto, Matthew Hennessy

VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics

Browse the full MFPS paper archive.