Termination, deadlock and divergence

• Authors:

• Luca Aceto;Matthew Hennessy

• Affiliations:

• -;-

• Venue:
• Proceedings of the fifth international conference on Mathematical foundations of programming semantics
• Year:
• 1990