1 paper
Shucai Yao, Emil Sekerinski
In the shared variable model of concurrency, guarded atomic actions restrict the possible interference between processes by regions of atomic execution. The guard specifies the con…