Formal derivation of concurrent garbage collectors

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of MPC 2010
EditorsJules Desharnais
PublisherSpringer-Verlag
Pages353-376
Number of pages24
Volume6120
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag

Cite this