Formal derivation of concurrent garbage collectors

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag

Access to Document

@inproceedings{88b9c982ce714aff93042e76cda8896f,

title = "Formal derivation of concurrent garbage collectors",

author = "Dusko Pavlovic and Peter Pepper and Smith, \{Douglas R.\}",

note = "full version arxiv.org:1006.4342",

year = "2010",

language = "English",

volume = "6120",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

pages = "353--376",

editor = "Jules Desharnais",

booktitle = "Proceedings of MPC 2010",

}