Searching for authors named Rocco De Nicola – sorted by Relevance.
-
Open Nets, Contexts and Their Properties
- Open nets, contexts and their properties Rocco De Nicola Michele Loreti Dipartimento di Sistemi e
- Add To MetaCart
-
Translating Strong Mobility into Weak Mobility
- Translating Strong Mobility into Weak Mobility ? Lorenzo Bettini Rocco De Nicola Dipartimento di
- Cited by 23 (5 self) – Add To MetaCart
-
A Middleware for Secure Distributed Tuple Spaces
- A Middleware for Secure Distributed Tuple Spaces Lorenzo Bettini Rocco De Nicola Dipartimento di
- Cited by 1 (1 self) – Add To MetaCart
-
Linda based Applicative and Imperative Process Algebras
- Linda based Applicative and Imperative Process Algebras Rocco De Nicola Rosario Pugliese
- Cited by 1 (1 self) – Add To MetaCart
-
A Modal Logic for Mobile Agents
- A Modal Logic for Mobile Agents Rocco De Nicola Michele Loreti Dipartimento di Sistemi e
- Cited by 8 (4 self) – Add To MetaCart
-
A Modal Logic for KLAIM
- A Modal Logic for Klaim (full paper - DRAFT) 23-01-2000 Rocco De Nicola Michele Loreti
- Cited by 6 (3 self) – Add To MetaCart
-
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
- A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces ? Lorenzo Bettini Rocco De
- Cited by 8 (2 self) – Add To MetaCart
-
On the Expressive Power of Klaim-based Calculi
- De Nicola 2 Dip. di Sistemi ed Informatica, Univ. di Firenze, Italy Daniele Gorla 3 Dip. di
- Cited by 4 (2 self) – Add To MetaCart
-
Divergence in Testing and Readiness Semantics
- Divergence in Testing and Readiness Semantics Michele Boreale 1 Rocco De Nicola 2 Rosario
- Add To MetaCart
-
Compositional Analysis of Cryptographic Protocols
- Compositional Analysis of Cryptographic Protocols Michele Boreale Rocco De Nicola Rosario
- Add To MetaCart

