Thesiss

The dynamic behaviour of a LOTOS specification can be described as a tree, called behaviour tree, where the nodes represent the states of the behaviour, and the branches represent the possible next actions. Unfortunately, the behaviour tree for a realistic size LOTOS specificati…