Example of Complication (2/2)
Mutex channel m : unit chan
correct use:
receive once, send once
incorrect use:
receive once, send never (? deadlock)
recv(m); CS; ()
receive once, send twice (? non-determinism)
recv(m); CS; send(m, ()); send(m, ());
Previous slide
Next slide
Back to first slide
View graphic version