A LOTOS Interpreter for Simulating Real-Time Behaviour

A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, and a distinction is made between "true" and interleaved parallelism. Some practical difficulties encountered are discussed.

• Type: Conference
• Year: 1990
• Where: FORTE
• Authors: Colin J. Fidge
• Keywords: FORTE 1990, FORTE 2007, Interleaved Parallelism, Primitive Actions, Prototype Basic Lotos