|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstractions for fault-tolerant global computing |
Chothia, Tom |
2004 |
322 | 3 |
p. 567-613 47 p. |
artikel |
|
| 2 | A spatial logic for concurrency—II |
Caires, Luı́s |
2004 |
322 | 3 |
p. 517-565 49 p. |
artikel |
|
| 3 | Author index |
2004 |
322 | 3 |
p. 671-672 2 p. |
artikel |
||
| 4 | [No title] |
Sassone, Vladimiro |
2004 |
322 | 3 |
p. 423-426 4 p. |
artikel |
|
| 5 | On the expressive power of movement and restriction in pure mobile ambients |
Busi, Nadia |
2004 |
322 | 3 |
p. 477-515 39 p. |
artikel |
|
| 6 | Private authentication |
Abadi, Martı́n |
2004 |
322 | 3 |
p. 427-476 50 p. |
artikel |
|
| 7 | Towards a behavioural theory of access and mobility control in distributed systems |
Hennessy, Matthew |
2004 |
322 | 3 |
p. 615-669 55 p. |
artikel |
7 gevonden resultaten