Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Bowman, H. and Derrick, J.
Extending LOTOS with time: A true concurrency perspective.
In: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS 97), May 21-23, 1997, Palma De Mallorca, Spain.
(The full text of this publication is not available from this repository)