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.

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