|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Abstractions for fault-tolerant global computing |
Chothia, Tom |
2004 |
322 | 3 |
p. 567-613 47 p. |
article |
|
| 2 | A spatial logic for concurrency—II |
Caires, Luı́s |
2004 |
322 | 3 |
p. 517-565 49 p. |
article |
|
| 3 | Author index |
2004 |
322 | 3 |
p. 671-672 2 p. |
article |
||
| 4 | [No title] |
Sassone, Vladimiro |
2004 |
322 | 3 |
p. 423-426 4 p. |
article |
|
| 5 | On the expressive power of movement and restriction in pure mobile ambients |
Busi, Nadia |
2004 |
322 | 3 |
p. 477-515 39 p. |
article |
|
| 6 | Private authentication |
Abadi, Martı́n |
2004 |
322 | 3 |
p. 427-476 50 p. |
article |
|
| 7 | Towards a behavioural theory of access and mobility control in distributed systems |
Hennessy, Matthew |
2004 |
322 | 3 |
p. 615-669 55 p. |
article |
7 results found