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

Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye. Verification of a self-configuration protocol for distributed applications in the cloud. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1278-1283, ACM, 2012. [doi]

Authors

Gwen Salaün

This author has not been identified. It may be one of the following persons: Look up 'Gwen Salaün' in Google

Xavier Etchevers

This author has not been identified. Look up 'Xavier Etchevers' in Google

Noel De Palma

This author has not been identified. Look up 'Noel De Palma' in Google

Fabienne Boyer

This author has not been identified. Look up 'Fabienne Boyer' in Google

Thierry Coupaye

This author has not been identified. Look up 'Thierry Coupaye' in Google