Julien Mercadal Nicolas Palix Charles Consel Julia L. Lawall Pantaxou: a domain-specific language for developing safe coordination services. 149-160 2008 GPCE http://doi.acm.org/10.1145/1449913.1449936 conf/gpce/2008 db/conf/gpce/gpce2008.html#MercadalPCL08