Example of Complication (2/2)
Mutex channel m : unit chan
correct use:
receive once, send once
recv(m); CriticalSection; send(m, ())
Previous slide
Next slide
Back to first slide
View graphic version