The one-way behaviour we are studying here is “half” of the standard input-output behaviour. The latter is defined in terms of input-output paths, while the former uses all finite and infinite paths connecting one of the network interfaces. Actually, there are two dual versions of the one-way behaviour: the input behaviour,which considers all paths starting from the network’s inputs, and the output behaviour, which takes into account all the paths arriving at the network’s outputs.
KeywordsEquivalence Relation Transition System Transition Relation Structural Theorem Regular Tree
Unable to display preview. Download preview PDF.