 |
|
|
|
| HAL : hal-00444580, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Logical Methods in Computer Science 5, 2 (2009) Article 15 |
|
|
|
|
| Explicit Fairness in Testing Semantics |
|
|
| Diletta Cacciagrano 1Flavio Corradini 1 |
|
|
| (2009) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Dipartimento di Matematica e Informatica [Camerino] |
|
|
|
Università degli studi di Camerino |
|
|
| 2 : | COMETE (INRIA Saclay - Ile de France) |
|
|
|
INRIA – Polytechnique - X – CNRS : UMR7161 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Informatique et langage |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00444580, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00444580 | |
| oai:hal.archives-ouvertes.fr:hal-00444580 | |
| Contributeur : Catuscia Palamidessi | |
| Soumis le : Jeudi 7 Janvier 2010, 01:05:27 | |
| Dernière modification le : Vendredi 8 Janvier 2010, 13:58:58 | |
