a core programming model for global computing (2004)

by G Boudol, ULM
Venue:In Proc. of ESOP, Springer LNCS