Verification of a self-configuration protocol for distributed applications in the cloud.

Gwen Salan, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye

Browse the full SAC paper archive.