Browse by Person (creator, editor, contributor, etc.)
Number of items: 3.
Conference or workshop item
Bowman, H. 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 available from this repository.