|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstractions for Fault-Tolerant Global Computing |
Duggan, Dominic |
2002 |
66 | 3 |
p. 116-144 29 p. |
artikel |
|
| 2 | A Calculus for “environment-aware” computation 1 1 Partially supported by IST-2001-33477 DART, and MURST Cofin'01 NAPOLI Project. |
Bono, Viviana |
2002 |
66 | 3 |
p. 98-115 18 p. |
artikel |
|
| 3 | An Abstract Machine for a Higher-Order Distributed Process Calculus |
Germain, Florence |
2002 |
66 | 3 |
p. 145-169 25 p. |
artikel |
|
| 4 | Barbs and Congruences for Safe Mobile Ambients |
Vigliotti, M.G. |
2002 |
66 | 3 |
p. 37-51 15 p. |
artikel |
|
| 5 | Dynamic Channel Screening in the Higher Order π-Calculus |
Vivas, José-Luis |
2002 |
66 | 3 |
p. 170-184 15 p. |
artikel |
|
| 6 | Grab and Go Systems |
Gabarró, J. |
2002 |
66 | 3 |
p. 1-21 21 p. |
artikel |
|
| 7 | Guardians for Ambient-Based Monitoring |
Ferrari, G. |
2002 |
66 | 3 |
p. 52-75 24 p. |
artikel |
|
| 8 | Information Flow Security for Boxed Ambients |
Crafa, Silvia |
2002 |
66 | 3 |
p. 76-97 22 p. |
artikel |
|
| 9 | On the Expressiveness of Movement in Pure Mobile Ambients |
Busi, Nadia |
2002 |
66 | 3 |
p. 22-36 15 p. |
artikel |
|
| 10 | Preface |
Sassone, Vladimiro |
2002 |
66 | 3 |
p. 185-186 2 p. |
artikel |
10 gevonden resultaten