Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
377--395
Opis fizyczny
bibliogr. 24 poz.
Twórcy
autor
autor
autor
- Dipartimento di Matematica Pura ed Applicata, Universita degli Studi dell'Aquila, Italy, flavio@univaq.it
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0047