The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (Q4917026)
From MaRDI portal
scientific article; zbMATH DE number 6158621
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes |
scientific article; zbMATH DE number 6158621 |
Statements
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (English)
0 references
26 April 2013
0 references
time-critical systems
0 references
performance evaluation
0 references
timed process algebras
0 references
expressiveness
0 references
