Sfoglia per Autore
Coordinating Mobile Agents via Blackboards and Access Rights
1997-01-01 DE NICOLA, R; G., Ferrari; R., Pugliese
Locality based Linda: programming with explicit localities
1997-01-01 DE NICOLA, R; G., Ferrari; R., Pugliese
Possible Worlds for Process Algebras
1998-01-01 Veglioni, S; De Nicola, R
Tree Morphisms and Bisimulations
1998-01-01 DE NICOLA, Rocco; Labella, A
Klaim: a Kernel Language for Agents Interaction and Mobility
1998-01-01 DE NICOLA, R; G. L., Ferrari; R., Pugliese
Interactive Mobile Agents in X-Klaim
1998-01-01 Bettini, L; De Nicola, R; Pugliese, R; Ferrari G., L
Asynchronous Observations of Processes
1998-01-01 M, Boreale; DE NICOLA, R.; Pugliese, R.
Models of Nondeterministic Regular Expressions
1999-01-01 F., Corradini; DE NICOLA, R; A., Labella
Basic Observables for Processes
1999-01-01 R., Pugliese; M., Boreale; DE NICOLA, R
Proof Techniques for Cryptographic Processes
1999-01-01 DE NICOLA, R; M., Boreale; R., Pugliese
Graded Modalities and Resource Bisimulation
1999-01-01 DE NICOLA, R; A., Labella; F., Corradini
A Theory of May Testing for Asynchronous Languages
1999-01-01 M, Boreale; DE NICOLA, R.; Pugliese, 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
A finite axiomatization of nondeterministic regular expressions
1999-01-01 DE NICOLA, R; F., Corradini; A., Labella
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
Types for Access Control
2000-01-01 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Linda based Applicative and Imperative Process Algebras
2000-01-01 DE NICOLA, R; R., Pugliese
A modal logic for KLAIM
2000-01-01 DE NICOLA, R; M., Loreti
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Coordinating Mobile Agents via Blackboards and Access Rights | 1-gen-1997 | DE NICOLA, R; G., Ferrari; R., Pugliese | |
| Locality based Linda: programming with explicit localities | 1-gen-1997 | DE NICOLA, R; G., Ferrari; R., Pugliese | |
| Possible Worlds for Process Algebras | 1-gen-1998 | Veglioni, S; De Nicola, R | |
| Tree Morphisms and Bisimulations | 1-gen-1998 | DE NICOLA, Rocco; Labella, A | |
| Klaim: a Kernel Language for Agents Interaction and Mobility | 1-gen-1998 | DE NICOLA, R; G. L., Ferrari; R., Pugliese | |
| Interactive Mobile Agents in X-Klaim | 1-gen-1998 | Bettini, L; De Nicola, R; Pugliese, R; Ferrari G., L | |
| Asynchronous Observations of Processes | 1-gen-1998 | M, Boreale; DE NICOLA, R.; Pugliese, R. | |
| Models of Nondeterministic Regular Expressions | 1-gen-1999 | F., Corradini; DE NICOLA, R; A., Labella | |
| Basic Observables for Processes | 1-gen-1999 | R., Pugliese; M., Boreale; DE NICOLA, R | |
| Proof Techniques for Cryptographic Processes | 1-gen-1999 | DE NICOLA, R; M., Boreale; R., Pugliese | |
| Graded Modalities and Resource Bisimulation | 1-gen-1999 | DE NICOLA, R; A., Labella; F., Corradini | |
| A Theory of May Testing for Asynchronous Languages | 1-gen-1999 | M, Boreale; DE NICOLA, R.; Pugliese, 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 | |
| A finite axiomatization of nondeterministic regular expressions | 1-gen-1999 | DE NICOLA, R; F., Corradini; A., Labella | |
| 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 | |
| Types for Access Control | 1-gen-2000 | R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B. | |
| Linda based Applicative and Imperative Process Algebras | 1-gen-2000 | DE NICOLA, R; R., Pugliese | |
| A modal logic for KLAIM | 1-gen-2000 | DE NICOLA, R; M., Loreti |
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