Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates.

Yuechen Qian

Browse the full ICFEM paper archive.