Up to now we have focussed on finite processes. However, systems can often exhibit unlimited behaviour. In this chapter it is shown how such infinite behaviour can be specified using recursive equations. For an exposition on alternative, iterative operators to express infinite behaviour, see .
KeywordsProjection Operator Transition Rule Recursive Equation Process Term Finite Depth
Unable to display preview. Download preview PDF.