|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Behavioural typing for safe ambients |
Bugliesi, Michele |
2002 |
28 | 1 |
p. 61-99 39 p. |
artikel |
|
| 2 | Computer languages and security |
Cortesi, Agostino |
2002 |
28 | 1 |
p. 1-2 2 p. |
artikel |
|
| 3 | Distributed call-tracking for security |
Kırlı, Dilsun |
2002 |
28 | 1 |
p. 129-154 26 p. |
artikel |
|
| 4 | Information flow for Algol-like languages |
Clark, David |
2002 |
28 | 1 |
p. 3-28 26 p. |
artikel |
|
| 5 | Orderly communication in the Ambient Calculus |
Amtoft, Torben |
2002 |
28 | 1 |
p. 29-60 32 p. |
artikel |
|
| 6 | Security boundaries in mobile ambients |
Braghin, Chiara |
2002 |
28 | 1 |
p. 101-127 27 p. |
artikel |
6 gevonden resultaten