Sfoglia per Autore
Locality based Linda: programming with explicit localities
1997-01-01 DE NICOLA, R; G., Ferrari; R., Pugliese
Locality Based Semantics for Process Algebras
1997-01-01 DE NICOLA, R; F., Corradini
Coordinating Mobile Agents via Blackboards and Access Rights
1997-01-01 DE NICOLA, R; G., Ferrari; R., Pugliese
Basic Observables for Processes
1997-01-01 M, Boreale; DE NICOLA, R.; Pugliese, R.
Tree Morphisms and Bisimulations
1998-01-01 DE NICOLA, Rocco; Labella, A
Interactive Mobile Agents in X-Klaim
1998-01-01 Bettini, L; De Nicola, R; Pugliese, R; Ferrari, G. L.
Possible Worlds for Process Algebras
1998-01-01 Veglioni, S; De Nicola, R
Asynchronous Observations of Processes
1998-01-01 M, Boreale; DE NICOLA, R.; Pugliese, R.
Klaim: a Kernel Language for Agents Interaction and Mobility
1998-01-01 DE NICOLA, R; G. L., Ferrari; R., Pugliese
A Theory of May Testing for Asynchronous Languages
1999-01-01 M, Boreale; DE NICOLA, R.; Pugliese, R.
A finite axiomatization of nondeterministic regular expressions
1999-01-01 DE NICOLA, R; F., Corradini; A., Labella
Graded Modalities and Resource Bisimulation
1999-01-01 DE NICOLA, R; A., Labella; F., Corradini
Models of Nondeterministic Regular Expressions
1999-01-01 F., Corradini; DE NICOLA, R; A., Labella
Proof Techniques for Cryptographic Processes
1999-01-01 DE NICOLA, R; M., Boreale; R., Pugliese
Basic Observables for Processes
1999-01-01 R., Pugliese; M., Boreale; DE NICOLA, R
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS
1999-01-01 DE NICOLA, R
Types as Specifications of Access Policies
1999-01-01 DE NICOLA, R; R., Pugliese; G., Ferrari
Methods and apparatus for tuple management in data processing system
2000-01-01 Rowstron, A.; DE NICOLA, R
Process Algebraic Analysis of Cryptographic Protocols
2000-01-01 Boreale, M; DE NICOLA, R.; R., Pugliese
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
2000-01-01 DE NICOLA, R; R., Pugliese; A., Rowstrom
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Locality based Linda: programming with explicit localities | 1-gen-1997 | DE NICOLA, R; G., Ferrari; R., Pugliese | |
| Locality Based Semantics for Process Algebras | 1-gen-1997 | DE NICOLA, R; F., Corradini | |
| Coordinating Mobile Agents via Blackboards and Access Rights | 1-gen-1997 | DE NICOLA, R; G., Ferrari; R., Pugliese | |
| Basic Observables for Processes | 1-gen-1997 | M, Boreale; DE NICOLA, R.; Pugliese, R. | |
| Tree Morphisms and Bisimulations | 1-gen-1998 | DE NICOLA, Rocco; Labella, A | |
| Interactive Mobile Agents in X-Klaim | 1-gen-1998 | Bettini, L; De Nicola, R; Pugliese, R; Ferrari, G. L. | |
| Possible Worlds for Process Algebras | 1-gen-1998 | Veglioni, S; De Nicola, R | |
| Asynchronous Observations of Processes | 1-gen-1998 | M, Boreale; DE NICOLA, R.; Pugliese, R. | |
| Klaim: a Kernel Language for Agents Interaction and Mobility | 1-gen-1998 | DE NICOLA, R; G. L., Ferrari; R., Pugliese | |
| A Theory of May Testing for Asynchronous Languages | 1-gen-1999 | M, Boreale; DE NICOLA, R.; Pugliese, R. | |
| A finite axiomatization of nondeterministic regular expressions | 1-gen-1999 | DE NICOLA, R; F., Corradini; A., Labella | |
| Graded Modalities and Resource Bisimulation | 1-gen-1999 | DE NICOLA, R; A., Labella; F., Corradini | |
| Models of Nondeterministic Regular Expressions | 1-gen-1999 | F., Corradini; DE NICOLA, R; A., Labella | |
| Proof Techniques for Cryptographic Processes | 1-gen-1999 | DE NICOLA, R; M., Boreale; R., Pugliese | |
| Basic Observables for Processes | 1-gen-1999 | R., Pugliese; M., Boreale; DE NICOLA, R | |
| COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS | 1-gen-1999 | DE NICOLA, R | |
| Types as Specifications of Access Policies | 1-gen-1999 | DE NICOLA, R; R., Pugliese; G., Ferrari | |
| Methods and apparatus for tuple management in data processing system | 1-gen-2000 | Rowstron, A.; DE NICOLA, R | |
| Process Algebraic Analysis of Cryptographic Protocols | 1-gen-2000 | Boreale, M; DE NICOLA, R.; R., Pugliese | |
| Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces | 1-gen-2000 | DE NICOLA, R; R., Pugliese; A., Rowstrom |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile