A fair calculus of communicating systems - Costa, Gerardo; Stirling, Colin (1983)