| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Coordination of Mobile Components
|
Arbab, F.
|
|
2001
|
54 |
C |
p. 1-16
16 p.
|
artikel
|
| 2 |
CoreLime:
|
Carbunar, B.
|
|
2001
|
54 |
C |
p. 17-34
18 p.
|
artikel
|
| 3 |
Global Types and Network Services
|
Ferrari, G.
|
|
2001
|
54 |
C |
p. 35-48
14 p.
|
artikel
|
| 4 |
Information Flow Security in Mobile Ambients 1 1 Partially supported by MURST Projects “Interpretazione Astratta, Type Systems e Analisi Control-Flow”, and “Certificazione automatica di programmi mediante interpretazione astratta”.
|
Cortesi, Agostino
|
|
2001
|
54 |
C |
p. 58-68
11 p.
|
artikel
|
| 5 |
Modelling Node Connectivity in Dynamically Evolving Networks
|
Bettini, Lorenzo
|
|
2001
|
54 |
C |
p. 81-91
11 p.
|
artikel
|
| 6 |
On the Serializability of Transactions in JavaSpaces
|
Busi, Nadia
|
|
2001
|
54 |
C |
p. 92-105
14 p.
|
artikel
|
| 7 |
Preface
|
Montanari, Ugo
|
|
2001
|
54 |
C |
p. 117-
1 p.
|
artikel
|
| 8 |
Security Issues in Component-based Design
|
Bracciali, A.
|
|
2001
|
54 |
C |
p. 49-57
9 p.
|
artikel
|
| 9 |
Static Analysis for Stack Inspection
|
Bartoletti, Massimo
|
|
2001
|
54 |
C |
p. 69-80
12 p.
|
artikel
|
| 10 |
Zero-safe net models for transactions in Linda 1 1 Research supported by the TMR Network GETGRATS and by the MURST Project TOSCA.
|
Bruni, Roberto
|
|
2001
|
54 |
C |
p. 106-116
11 p.
|
artikel
|
Tijdschrift beschrijving