Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices.

Beom Heyn Kim, David Lie

Browse the full SP paper archive.