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 .
Unable to display preview. Download preview PDF.