TY  - RPRT
TI  - Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
AU  - Ian J. Hayes
AU  - Larissa A. Meinicke
PY  - 2018
UR  - https://arxiv.org/abs/1805.01681
ID  - 1805.01681
ER  -