Title: Compiling the behaviour part of LOTOS