shared actions/events
shared actions/events
A shared action or event is one that appears in the alphabet of more than one process. From the previous example:
a EAST = {east.inc}
a WEST = {west.inc}
a COUNTER = {east.inc, west.inc}
A shared action can only occur when all the processes which share that event have it as a choice of their next action. In other words, shared actions synchronize processes in exactly the same way as the synchronous channels of the previous section. They are a more primitive way of modelling synchronization. Note that we have dropped the notion of which process instigates the event/action (!) and which process responds to it(?) since an action may be shared by many processes ( although usually, we will only share events between two processes).