Resources:


A Critical Region with conditions that needs to be met (also called guards)

For example, only update the sensor data if it passes the guards, which in this case can be a set of Acceptance Tests.


An attempt to overcome some of the problems associated with semaphores.