Product-Form Inputs and Outputs
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:
- Inputs = InputsA × InputsB
- Outputs = OutputsA × OutputsB
Stuttering:
- stutter = ( absent, absent )