time stack based on the message flow identifier of the defined message flow containing the node and the state of the stack, the set of stack operations including no action, where the top item on the stack is equal to the message flow identifier of the defined message flow containing the node,