Termination, deadlock and divergence

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040264 ◽

2006 ◽

pp. 301-318 ◽

Cited By ~ 1

Author(s):

L. Aceto ◽

M. Hennessy