Searching for authors named Rocco De Nicola – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
