Browse by Journal
Jump to: B
Number of items: 1.
B
Bowman, Howard and Derrick, John (1997) Extending LOTOS with time: A true concurrency perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, A. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 383-399. ISBN 978-3-540-63010-4. E-ISBN 978-3-540-69058-0. (doi:10.1007/3-540-63010-4_26) (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) (KAR id:18303) |