A timed LOTOS supporting a dense time domain and including new timed operators

@inproceedings{Leduc1992ATL,
  title={A timed LOTOS supporting a dense time domain and including new timed operators},
  author={Guy Leduc and Luc L{\'e}onard},
  booktitle={FORTE},
  year={1992}
}
A time extended version of LOTOS, denoted Timed LOTOS, is proposed for the modelling of quantitative timed behaviours. In this language neither the syntax nor the semantics are restricted to a specific time domain, i.e. a dense time domain is supported as well. Timed LOTOS incorporates a notion of urgency which is restricted to the internal actions. This is usually referred to as the maximal progress or minimum delay property. Timed LOTOS processes have also some pleasing properties such as the… CONTINUE READING