TY  - CONF

T1  - Extending LOTOS with time: A true concurrency perspective

JO  - TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT

PY  - 1997/01/01

AU  - Bowman H

AU  - Derrick J

ED  - Bertran M

ED  - Rus T

VL  - 1231

SP  - 383

EP  - 399

Y2  - 2024/12/22

ER  -