Sfoglia per Autore
Coordinating Mobile Agents via Blackboards and Access Rights
1997 DE NICOLA, R; G., Ferrari; R., Pugliese
Locality based Linda: programming with explicit localities
1997 DE NICOLA, R; G., Ferrari; R., Pugliese
Basic Observables for Processes
1997 M, Boreale; DE NICOLA, R.; Pugliese, R.
Locality Based Semantics for Process Algebras
1997 DE NICOLA, R; F., Corradini
Tree Morphisms and Bisimulations
1998 DE NICOLA, Rocco; Labella, A
Possible Worlds for Process Algebras
1998 Veglioni, S; De Nicola, R
Klaim: a Kernel Language for Agents Interaction and Mobility
1998 DE NICOLA, R; G. L., Ferrari; R., Pugliese
Interactive Mobile Agents in X-Klaim
1998 Bettini, L; De Nicola, R; Pugliese, R; Ferrari, G. L.
Asynchronous Observations of Processes
1998 M, Boreale; DE NICOLA, R.; Pugliese, R.
Types as Specifications of Access Policies
1999 DE NICOLA, R; R., Pugliese; G., Ferrari
Proof Techniques for Cryptographic Processes
1999 DE NICOLA, R; M., Boreale; R., Pugliese
Graded Modalities and Resource Bisimulation
1999 DE NICOLA, R; A., Labella; F., Corradini
A finite axiomatization of nondeterministic regular expressions
1999 DE NICOLA, R; F., Corradini; A., Labella
A Theory of May Testing for Asynchronous Languages
1999 M, Boreale; DE NICOLA, R.; Pugliese, R.
Basic Observables for Processes
1999 R., Pugliese; M., Boreale; DE NICOLA, R
Models of Nondeterministic Regular Expressions
1999 F., Corradini; DE NICOLA, R; A., Labella
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS
1999 DE NICOLA, R
Programming Access Control: The Klaim Experience
2000 DE NICOLA, R; Ferrari, G.; R., Pugliese
Linda based Applicative and Imperative Process Algebras
2000 DE NICOLA, R; R., Pugliese
A modal logic for KLAIM
2000 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 | |
Basic Observables for Processes | 1-gen-1997 | M, Boreale; DE NICOLA, R.; Pugliese, R. | |
Locality Based Semantics for Process Algebras | 1-gen-1997 | DE NICOLA, R; F., Corradini | |
Tree Morphisms and Bisimulations | 1-gen-1998 | DE NICOLA, Rocco; Labella, A | |
Possible Worlds for Process Algebras | 1-gen-1998 | Veglioni, S; De Nicola, R | |
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. | |
Types as Specifications of Access Policies | 1-gen-1999 | DE NICOLA, R; R., Pugliese; G., Ferrari | |
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 finite axiomatization of nondeterministic regular expressions | 1-gen-1999 | DE NICOLA, R; F., Corradini; A., Labella | |
A Theory of May Testing for Asynchronous Languages | 1-gen-1999 | M, Boreale; DE NICOLA, R.; Pugliese, R. | |
Basic Observables for Processes | 1-gen-1999 | R., Pugliese; M., Boreale; DE NICOLA, R | |
Models of Nondeterministic Regular Expressions | 1-gen-1999 | F., Corradini; DE NICOLA, R; A., Labella | |
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS | 1-gen-1999 | DE NICOLA, R | |
Programming Access Control: The Klaim Experience | 1-gen-2000 | DE NICOLA, R; Ferrari, G.; R., Pugliese | |
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