Guarded Communication
Guarded Communication
We can express the process SPACE operationally using communication guards in an Ada like syntax:
The when clauses are known as “guards”.
when B do ch?v ®
statements;
Input on ch is only possible when the guard B is true and closed so that messages are not accepted when the guard B is false.