The expressive power of urgent, lazy and busy-waiting actions in timed processes
Published online by Cambridge University Press: 31 July 2003
Abstract
In this paper we show how the expressive power of a language for the description of timed processes strongly affects the discriminating power of urgent and patient actions. In a sense, it studies the interplay between syntax and semantics of time-critical systems.
- Type
- Paper
- Information
- Copyright
- 2003 Cambridge University Press
Footnotes
- 2
- Cited by