Weak and Strong Fairness in CCS Gerardo Costa Colin Stirling 207-244 Inf. Comput. June 1987 73 3 db/journals/iandc/iandc73.html#CostaS87