The resulting calculation should not assume any relation between incoming/outgoing process IDs (ie. a "stay" action cannot exist). With information about the relation of incoming/outgoing process IDs, we can refine the transition in a 2nd step.
The resulting calculation should not assume any relation between incoming/outgoing process IDs (ie. a "stay" action cannot exist).
With information about the relation of incoming/outgoing process IDs, we can refine the transition in a 2nd step.