Paulo Ferreira, Marc Shapiro
Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof
ECOOP, 1998.
@inproceedings{ECOOP-1998-FerreiraS, author = "Paulo Ferreira and Marc Shapiro", booktitle = "{Proceedings of the 12th European Conference on Object-Oriented Programming}", doi = "10.1007/BFb0054094", editor = "Eric Jul", isbn = "3-540-64737-6", pages = "234--259", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof}", volume = 1445, year = 1998, }