Name
Title | ||
|---|---|---|
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations. |
Year | Venue | Field |
|---|---|---|
2017 | JIP | Causal consistency,Sequential consistency,Shared memory,Computer science,Parallel computing,Theoretical computer science,Weak consistency,Consistency model,Strong consistency,Graph (abstract data type),Release consistency |
DocType | Volume | Citations |
Journal | 25 | 3 |
PageRank | References | Authors |
0.39 | 22 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tatsuya Abe | 1 | 18 | 4.00 |
| Toshiyuki Maeda | 2 | 21 | 3.70 |