Related Work (4/4)

[Boudol 97] Hennessy-Milner logic with recursion:On what channels processes are ready to receive values

• Deadlock-freedom only for output;cannot guarantee deadlock-freedom for input

Previous slide

Next slide

Back to first slide

View graphic version