Events in require both CSP processes; other visible CSP events advance one participant independently. CSP internal actions do not synchronize.
The alphabets assigned to participants determine their shared CSP events. An event in both assigned alphabets requires both participants; one assigned only to a single participant advances that participant. Replicated composition synchronizes all participants whose assigned alphabets contain the event.
Articles by others on the same topic
There are currently no matching articles.