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!