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 [37].


Projection Operator Transition Rule Recursive Equation Process Term Finite Depth 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Wan Fokkink
    • 1
  1. 1.Centrum voor Wiskunde en Informatica(CWI)AmsterdamThe Netherlands

Personalised recommendations