@article {IOPORT.05571828,
    author       = {Corradini, Flavio and Cacciagrano, Diletta and Palamidessi, Catuscia},
    title        = {Explicit fairness in testing semantics.},
    year         = {2009},
    journal      = {Logical Methods in Computer Science [electronic only]},
    volume       = {5},
    number       = {2},
    issn         = {1860-5974},
    pages        = {Paper 15, 27 p., electronic only},
    publisher    = {Logical Methods in Computer Science c/o Institute of Theoretical Computer Science, Technical University of Braunschweig, Braunschweig},
    doi          = {10.2168/LMCS-5(2:15)2009},
    abstract     = {Summary: 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.},
    identifier   = {05571828},
}