Guarded Communication
Guarded Communication
The need for communication guards will be motivated by the following simple example of a car park.
Cars arrive at the ENTRY gate and leave through the EXIT entrance. The CARPARK can hold a maximum of N cars. When CARPARK is full then cars are not permitted to enter until a car leaves creating a space.
ENTRY
EXIT
CARPARK
N=4