Formal derivation of concurrent garbage collectors. / Pavlovic, Dusko; Pepper, Peter; Smith, Douglas R.

Proceedings of MPC 2010. ed. / Jules Desharnais. Vol. 6120 Springer-Verlag, 2010. p. 353-376 (Lecture Notes in Computer Science).

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

Original languageEnglish
Title of host publicationProceedings of MPC 2010
EditorsJules Desharnais
Number of pages24
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 4714763