Introducing fairness in CSP systems specified with state variables | Publicación