@inproceedings{inproceedings, title  = {{Extending LOTOS with time: A true concurrency perspective}},

 url = {{}},

 year = {{1997}},

 month = {{1}},

 author = {{Bowman H and Derrick J}},

 volume = {{1231}},

 journal = {{TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT}},

 pages = {{383-399}},

 note = {{Accessed on 2024/12/22}}}