Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Modular Relaxed Dependencies in Weak Memory Concurrency. | 1 | 0.35 | 2020 |
| Modular Relaxed Dependencies in Weak Memory Concurrency. | 0 | 0.34 | 2020 |
| Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. | 1 | 0.36 | 2012 |