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
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 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
ID: 4714763