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
| Original language | English |
|---|---|
| Title of host publication | Proceedings of MPC 2010 |
| Editors | Jules Desharnais |
| Publisher | Springer-Verlag |
| Pages | 353-376 |
| Number of pages | 24 |
| Volume | 6120 |
| Publication status | Published - 2010 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 4714763