CSP alphabetized parallel composition
ID: csp-alphabetized-parallel-composition
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.
New to topics? Read the docs here!