TY  - RPRT
TI  - Progress, Fairness and Justness in Process Algebra
AU  - Rob van Glabbeek
AU  - Peter Höfner
PY  - 2015
UR  - https://arxiv.org/abs/1501.03268
ID  - 1501.03268
ER  -