• Colin Stirling
Part of the Texts in Computer Science book series (TCS)


In this chapter, processes are introduced as expressions of a simple language built from a few basic operators. The behaviour of a process E is characterised by transitions of the form \( E\xrightarrow{a}F \), that E may become F by performing the action a. Structural rules prescribe behaviour, since the transitions of a compound process are determined by those of its components. Concrete pictorial summaries of behaviour are presented as labelled graphs, which are collections of transitions. We review various combinations of processes and their resulting behaviour.


Parallel Operator Transition Rule Transition Graph Slot Machine Flow Graph 
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 Science+Business Media New York 2001

Authors and Affiliations

  • Colin Stirling
    • 1
  1. 1.Division of InformaticsUniversity of EdinburghEdinburghUK

Personalised recommendations