Browse by Person (creator, editor, contributor, etc.)
Number of items: 3.
Conference or workshop item
Bowman, Howard and Katoen, J-P.
A True Concurrency Semantics for ET-LOTOS.
In: CSD'98 International Conference on Application of Concurrency to System Design, Mar 23-26, 1998, Fukushima, Japan.
(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)