Search

Your search keyword '"Peter Sewell"' showing total 2 results
Start Over Author "Peter Sewell" Publication Type Electronic Resources
2 results on '"Peter Sewell"'

1. Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)

Author

Hans J. Boehm and Ursula Goltz and Holger Hermanns and Peter Sewell, Boehm, Hans J., Goltz, Ursula, Hermanns, Holger, Sewell, Peter, Hans J. Boehm and Ursula Goltz and Holger Hermanns and Peter Sewell, Boehm, Hans J., Goltz, Ursula, Hermanns, Holger, and Sewell, Peter

Abstract

This report documents the programme and the outcomes of Dagstuhl Seminar 11011 "Multi-Core Memory Models and Concurrency Theory".

Published
2011
Full Text
View/download PDF

2. Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)

Author

Hans J. Boehm and Ursula Goltz and Holger Hermanns and Peter Sewell, Boehm, Hans J., Goltz, Ursula, Hermanns, Holger, Sewell, Peter, Hans J. Boehm and Ursula Goltz and Holger Hermanns and Peter Sewell, Boehm, Hans J., Goltz, Ursula, Hermanns, Holger, and Sewell, Peter

Abstract

This report documents the programme and the outcomes of Dagstuhl Seminar 11011 "Multi-Core Memory Models and Concurrency Theory".

Published
2011
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results