Pantaxou: a domain-specific language for developing safe coordination services.

Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall

Browse the full GPCE paper archive.