Provably Correct Pervasive Computing Environments.

Anand Ranganathan, Roy H. Campbell

Browse the full PERCOM paper archive.