Formal derivation of concurrent garbage collectors
Dusko Pavlovic‚ Peter Pepper and Douglas R. Smith
Book Title
Proceedings of MPC 2010
Editor
Jules Desharnais
Note
full version arxiv.org:1006.4342
Pages
353–376
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
6120
Year
2010