Sequential Composition

Syntax

body ; body

Semantics

Will execute the code before the sequential composition, ;, and then (if this terminates) will execute the code after the sequential composition.

Note: Unlike many imperative languages, all blocks must be terminated by a form of composition (sequential or parallel.)

Examples

var a:=12 ; a:=99

In the above example variable a is declared to be equal to 12, after this the variable is then modified to hold the value of 99.

function1() ; function2()

In the second example function1 will execute and then after (if it terminates) the function function2 will be called