Causal Time Calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Causal Time Calculus

Résumé

We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two consistent semantics: a structural operational semantics (as usual for process algebras) and a denotational semantics in terms of Petri nets in which time is introduced through counters of explicit clock ticks. This way of modelling time has been called causal time so the process algebra is itself called the Causal Time Calculus (CTC). It was shown in a separate paper that the causal time approach allowed for efficient verification but suffered from a sensitivity to the constants to which counts of ticks are compared. We show in this paper how this weakness can be removed.
Fichier principal
Vignette du fichier
2003-formats.pdf (175.71 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00114673 , version 1 (17-11-2006)

Identifiants

Citer

Franck Pommereau. Causal Time Calculus. FORMATS, 2004, Marseille, France. pp.1-12, ⟨10.1007/978-3-540-40903-8_21⟩. ⟨hal-00114673⟩
71 Consultations
86 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More