The RPC calculus (2009)

by E Cooper, P Wadler
Venue:In PPDP