Possible futures, acceptances, refusals and communicating processes (1981)

by W Rounds, S Brookes
Venue:In Proc. FOCS’81