Fairness assumptions for CSP in a temporal logic framework / P. Kuiper & W.P. de Roever
Fairness assumptions for CSP in a temporal logic framework