A Fair Calculus of Communicating Systems.

Gerardo Costa Colin Stirling A Fair Calculus of Communicating Systems. 94-105 1983 conf/fct/1983 FCT db/conf/fct/fct83.html#CostaS83