Affiliations: Dipartimento di Matematica Pura ed Applicata, Università degli Studi dell'Aquila, L'Aquila, Italy. flavio@univaq.it | Dipartimento di Matematica Pura ed Applicata, Università degli Studi dell'Aquila, L'Aquila, Italy | Dipartimento di Matematica Pura ed Applicata, Università degli Studi dell'Aquila L'Aquila, Italy inverard@univaq.it
Note: [] Address for correspondence: Dipartimento di Matematica Pura ed Applicata, Università degli Studi dell'Aquila, L'Aquila, Italy
Note: [] Address for correspondence: Dipartimento di Matematica Pura ed Applicata, Università degli Studi dell'Aquila, L'Aquila, Italy
Note: [] Address for correspondence: Dipartimento di Matematica Pura ed Applicata, Università degli Studi dell'Aquila, L'Aquila, Italy
Abstract: In this paper we contrast (the core of) four well-known process algebras specifically enriched for the specification and verification of timed systems. The aim of this comparison is twofold. On one hand it permits to gain confidence on how time and time passing are modelled in the four different timed process algebras. On the other hand, it establishes conditions under which mappings from a calculus to another can be provided which preserve (strong bisimulation-based) behavioural equivalence.
Keywords: Distributed Systems, Specification, Verification, Timed Process Algebras, Timed Bisimulations
