Myrto Arapinis Frédéric Loulergue Frédéric Gava Frédéric Dabrowski Semantics of Minimally Synchronous Parallel ML. 260-267 2003 conf/snpd/2003 SNPD db/conf/snpd/snpd2003.html#ArapinisLGD03