Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof.

Paulo Ferreira, Marc Shapiro

Browse the full ECOOP paper archive.