Explicit Fairness in Testing Semantics - Archive ouverte HAL
Article Dans Une Revue Logical Methods in Computer Science Année : 2009

Explicit Fairness in Testing Semantics

Résumé

In this paper we investigate fair computations in the $\pi$-calculus \cite{MPW92}. Following Costa and Stirling's approach for CCS-like languages \cite{CS84,CS87}, we consider a method to label process actions in order to filter out unfair computations. We contrast the existing fair-testing notion \cite{RV07,NC95} with those that naturally arise by imposing weak and strong fairness. This comparison provides insight about the expressiveness of the various `fair' testing semantics and about their discriminating power.
Fichier principal
Vignette du fichier
fairpi-LMCS-IIIsubm.pdf (271.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00444580 , version 1 (07-01-2010)

Identifiants

  • HAL Id : hal-00444580 , version 1

Citer

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Explicit Fairness in Testing Semantics. Logical Methods in Computer Science, 2009, 5 (2), pp.Article 15. ⟨hal-00444580⟩
259 Consultations
180 Téléchargements

Partager

More