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 proceeding › Conference contribution
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 proceeding › Conference contribution
}
TY - GEN
T1 - Formal derivation of concurrent garbage collectors
AU - Pavlovic, Dusko
AU - Pepper, Peter
AU - Smith, Douglas R.
N1 - full version arxiv.org:1006.4342
PY - 2010
Y1 - 2010
M3 - Conference contribution
VL - 6120
T3 - Lecture Notes in Computer Science
SP - 353
EP - 376
BT - Proceedings of MPC 2010
A2 - Desharnais, Jules
PB - Springer-Verlag
ER -