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

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 proceedingConference 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

Pavlovic, Dusko ; Pepper, Peter ; Smith, Douglas R. / Formal derivation of concurrent garbage collectors. Proceedings of MPC 2010. editor / Jules Desharnais. Vol. 6120 Springer-Verlag, 2010. pp. 353-376 (Lecture Notes in Computer Science).

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 -