Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Bowman, Howard and Derrick, John
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 currently available from this repository. You may be able to access a copy if URLs are provided)