Siu Wai Ringo.* Chan

• Simulation and modelling of a supervisory control system using concurrent Euclid