TY  - RPRT
TI  - Explicit fairness in testing semantics
AU  - D. Cacciagrano
AU  - F. Corradini
AU  - C. Palamidessi
PY  - 2009
DO  - 10.2168/lmcs-5(2:15)2009
UR  - https://arxiv.org/abs/0904.2340
ID  - 0904.2340
ER  -