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

Title:
Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof
Object-oriented programming
Authors:
Ferreira, P., Shapiro, M.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (1445):234-259
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN025610590&indx=1&recIds=ETOCCN025610590
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings