|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
3 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A spatial equational logic for the applied π-calculus |
Lozes, Étienne |
2010 |
23 | 1 |
p. 61-83 |
article |
|
| 2 | On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms |
Chernoy, Viacheslav |
2010 |
23 | 1 |
p. 43-60 |
article |
|
| 3 | Refined quorum systems |
Guerraoui, Rachid |
2010 |
23 | 1 |
p. 1-42 |
article |
3 results found