Reasoning about atomic objects
Autor: | Herlihy, Maurice, Wing, Jeannette Marie. |
---|---|
Rok vydání: | 2013 |
Předmět: | |
DOI: | 10.1184/r1/6608822.v1 |
Popis: | Computer Science Department |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Herlihy, Maurice, Wing, Jeannette Marie. |
---|---|
Rok vydání: | 2013 |
Předmět: | |
DOI: | 10.1184/r1/6608822.v1 |
Popis: | Computer Science Department |
Databáze: | OpenAIRE |
Externí odkaz: |