Currently, in the theories on the dummy mini-protocols, the subsections where the permitted communication patterns are specified are entitled State Machines. However, after having resolved #60, we now use only one state machine per protocol. Therefore, we shall change these titles to use the singular form, turning them into State Machine.
Currently, in the theories on the dummy mini-protocols, the subsections where the permitted communication patterns are specified are entitled State Machines. However, after having resolved #60, we now use only one state machine per protocol. Therefore, we shall change these titles to use the singular form, turning them into State Machine.