|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 1 publication records. Showing 1 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Maurice Herlihy, Eric Ruppert |
On the Existence of Booster Types. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
booster types, asynchronous concurrent models of computation, synchronization power, topological condition, solo-connectivity, deterministic one-shot types, distributed algorithms, synchronisation, upper bound, type theory, data type, concurrency theory, consensus number |
Displaying result #1 - #1 of 1 (100 per page; Change: )
|
|