On the Correctness of a Transaction Model for Mobile Computing.

Sanjay Kumar Madria, Bharat K. Bhargava

Browse the full DEXA paper archive.