School of Computing

Extending LOTOS with time: True concurrency perspective

Howard Bowman and John Derrick

In Miquel Bertran and Teodor Rus, editors, ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software, volume 1231 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, May 1997.


An ongoing restandardisation activity is currently extending the OSI specification language LOTOS with quantitative time. We give an alternative perspective on this activity. We highlight a very simple but expressive timed LOTOS enhancement which is based on time intervals. The main point at which we depart from the standard approach to extending LOTOS with time, is that we employ a true concurrency semantics. We present a semantics based on time extended bundle event structures. We give a full semantics for relating our timed LOTOS to timed bundle event structures. A fixed point theory is defined and finally, we describe how urgency can be supported in the language.

Bibtex Record

author = {Howard Bowman and John Derrick},
title = {Extending {LOTOS} with Time: True Concurrency Perspective},
month = {May},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    ISSN = {0302-9743},
    booktitle = {ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software},
    editor = {Miquel Bertran and Teodor Rus},
    publisher = {Springer-Verlag},
    refereed = {yes},
    series = {Lecture Notes in Computer Science},
    volume = {1231},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014