A true concurrency semantics for LOTOS