Hostname: page-component-7479d7b7d-qs9v7 Total loading time: 0 Render date: 2024-07-14T00:11:32.571Z 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
Get access Rights & Permissions [Opens in a new window]

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

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