Hostname: page-component-6bf8c574d5-vmclg Total loading time: 0 Render date: 2025-02-21T23:29:32.927Z Has data issue: false hasContentIssue false
  • English
  • Français

The expressive power of urgent, lazy and busy-waiting actions in timed processes

Published online by Cambridge University Press:  31 July 2003

FLAVIO CORRADINI  and
DINO DI COLA
FLAVIO CORRADINI
Affiliation:
Dipartimento di Informatica, Università degli Studi di L'Aquila, Via Vetoio, Loc. Coppito, L'Aquila, Italy Email: flavio@edi.univaq.it
DINO DI COLA
Affiliation:
Dipartimento di Informatica, Università degli Studi di L'Aquila, Via Vetoio, Loc. Coppito, L'Aquila, Italy Email: dicola@edi.univaq.it
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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
Mathematical Structures in Computer Science , Volume 13 , Issue 4 , August 2003 , pp. 619 - 656
Copyright
2003 Cambridge University Press

Footnotes

Research supported by Murst progetto ‘Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components’.