Sibsankar Haldar Constructing regular variables in message passing systems. 15-28 2005 65 J. Parallel Distrib. Comput. 1 http://dx.doi.org/10.1016/j.jpdc.2004.08.008 db/journals/jpdc/jpdc65.html#Haldar05