| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Fully Abstract Model for Mobile Ambients
|
Coppo, M.
|
|
2002
|
62 |
C |
p. 177-194
18 p.
|
artikel
|
| 2 |
An overview of Boxed Ambients
|
Castagna, Giuseppe
|
|
2002
|
62 |
C |
p. 1-6
6 p.
|
artikel
|
| 3 |
A Type Inference Algorithm for Secure Ambients
|
Barbanera, Franco
|
|
2002
|
62 |
C |
p. 83-101
19 p.
|
artikel
|
| 4 |
A type preserving translation of F ickle into Java
|
Ancona, D.
|
|
2002
|
62 |
C |
p. 69-82
14 p.
|
artikel
|
| 5 |
Comparative analysis of the expressiveness of shared dataspace coordination 1 1 Work partially supported by Italian Ministry of University - MURST 40% - Progetto TOSCA.
|
Brogi, A.
|
|
2002
|
62 |
C |
p. 102-115
14 p.
|
artikel
|
| 6 |
Comparing cospan-spans and tiles via a Hoare-style process calculus 1 1 Research partly supported by the Italian MIUR Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
|
Gadducci, Fabio
|
|
2002
|
62 |
C |
p. 157-176
20 p.
|
artikel
|
| 7 |
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 1 1 Research supported by the MURST Project TOSCA.
|
Bruni, Roberto
|
|
2002
|
62 |
C |
p. 136-156
21 p.
|
artikel
|
| 8 |
Cryptographic Analysis in Cubic Time
|
Nielson, Flemming
|
|
2002
|
62 |
C |
p. 7-23
17 p.
|
artikel
|
| 9 |
Formal Models of Timing Attacks on Web Privacy 1 1 Research partially supported by MURST Progetto Cofinanziato TOSCA.
|
Focardi, Riccardo
|
|
2002
|
62 |
C |
p. 229-243
15 p.
|
artikel
|
| 10 |
Higher-Order Types and Meta-Programming for Global Computing
|
Ferrari, G.
|
|
2002
|
62 |
C |
p. 52-68
17 p.
|
artikel
|
| 11 |
Preface
|
Lenisa, Marina
|
|
2002
|
62 |
C |
p. 257-258
2 p.
|
artikel
|
| 12 |
Specifying and verifying reactive systems in a multi-language environment 1 1 Work partially supported by the project TOSCA.
|
Merceron, Agathe
|
|
2002
|
62 |
C |
p. 244-256
13 p.
|
artikel
|
| 13 |
Synchronized Regular Expressions 1 1 An extended version of this paper is considered for publication in Acta Informatica
|
Penna, Giuseppe Della
|
|
2002
|
62 |
C |
p. 195-210
16 p.
|
artikel
|
| 14 |
Techniques for Security Checking
|
Bodei, Chiara
|
|
2002
|
62 |
C |
p. 211-228
18 p.
|
artikel
|
| 15 |
The Theory of Contexts for First Order and Higher Order Abstract Syntax 1 1 Research supported by the MURST Project TOSCA.
|
Honsell, Furio
|
|
2002
|
62 |
C |
p. 116-135
20 p.
|
artikel
|
| 16 |
Towards Object-Oriented Klaim
|
Bettini, Lorenzo
|
|
2002
|
62 |
C |
p. 38-51
14 p.
|
artikel
|
| 17 |
X-Klaim and Klava
|
Bettini, Lorenzo
|
|
2002
|
62 |
C |
p. 24-37
14 p.
|
artikel
|
Tijdschrift beschrijving