Additional structure on input/output alphabets allows for events to be directed to different state machines, so that we can make more interesting compositions.
Input and output alphabets are constructed from the port alphabets:
Stuttering:
