Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
Journal
-
- ECOOP 2010 – Object-Oriented Programming
-
ECOOP 2010 – Object-Oriented Programming 478-503, 2010
Springer Berlin Heidelberg
- Tweet
Details 詳細情報について
-
- CRID
- 1362544419255198464
-
- ISSN
- 16113349
- 03029743
-
- Data Source
-
- Crossref