Cacciagrano, D. and Corradini, F. and Palamidessi, C. - Explicit fairness in testing semantics

lmcs:1134 - Logical Methods in Computer Science, June 22, 2009, Volume 5, Issue 2
Explicit fairness in testing semantics

Authors: Cacciagrano, D. and Corradini, F. and Palamidessi, C.

In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations. We contrast the existing fair-testing notion 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.


Source : oai:arXiv.org:0904.2340
DOI : 10.2168/LMCS-5(2:15)2009
Volume: Volume 5, Issue 2
Published on: June 22, 2009
Submitted on: May 6, 2008
Keywords: Computer Science - Logic in Computer Science,F.1.2,D.3.1


Share

Consultation statistics

This page has been seen 35 times.
This article's PDF has been downloaded 7 times.