Abstract

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

Keywords

Klop 

Preview

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