A timed full LOTOS with time/action tree semantics

Chapter
Publication Date:
1994
abstract:
An abstract is not available.
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Time/action tree semantics; LOTOS
List of contributors:
Handle:
https://iris.cnr.it/handle/20.500.14243/364143
Book title:
Theories and Experiences for Real-Time System Development