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
Published
Standard
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
Harvard
Pavlovic, D, Pepper, P & Smith, DR 2010, Formal derivation of concurrent garbage collectors. in J Desharnais (ed.), Proceedings of MPC 2010. vol. 6120, Lecture Notes in Computer Science, Springer-Verlag, pp. 353-376. <ftp://ftp.kestrel.edu/pub/papers/pavlovic/10-garbage-full.pdf>
APA
Pavlovic, D., Pepper, P., & Smith, D. R. (2010). Formal derivation of concurrent garbage collectors. In J. Desharnais (Ed.), Proceedings of MPC 2010 (Vol. 6120, pp. 353-376). (Lecture Notes in Computer Science). Springer-Verlag. ftp://ftp.kestrel.edu/pub/papers/pavlovic/10-garbage-full.pdf
Vancouver
Pavlovic D, Pepper P, Smith DR. Formal derivation of concurrent garbage collectors. In Desharnais J, editor, Proceedings of MPC 2010. Vol. 6120. Springer-Verlag. 2010. p. 353-376. (Lecture Notes in Computer Science).
Author
BibTeX
@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",
}
RIS
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 -