Searching for authors named "Chiara Bodei" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Some Concurrency Models In A Categorical Framework (Extended Abstract)
- …SOME CONCURRENCY MODELS IN A CATEGORICAL FRAMEWORK EXTENDED ABSTRACT CHIARA BODEI Dipartimento di…
- Cited by 1 (0 self) – Add To MetaCart
-
A Control Flow Analysis for Safe and Boxed Ambients
- …A Control Flow Analysis for Safe and Boxed Ambients ? Francesca Levi 1 Chiara Bodei 2 1 DISI…
- Cited by 2 (0 self) – Add To MetaCart
-
Security Analysis for Mobile Ambients
- …Security Analysis for Mobile Ambients Francesca Levi, Chiara Bodei Dipartimento di Informatica…
- Cited by 3 (1 self) – Add To MetaCart
-
Names of the ß-Calculus Agents Handled Locally
- …Names of the ��-Calculus Agents Handled Locally Chiara Bodei, Pierpaolo Degano Dipartimento di…
- Add To MetaCart
-
Authentication Primitives for Protocol Specifications
- …Authentication Primitives for Protocol Specifications ? Chiara Bodei 1 Pierpaolo Degano 1…
- Add To MetaCart
-
Primitives for Authentication in Process Algebras
- …Primitives for Authentication in Process Algebras £ Chiara Bodei, Pierpaolo Degano Dipartimento di…
- Cited by 5 (2 self) – Add To MetaCart
-
Mobile Processes with a Distributed Environment
- …Mobile Processes with a Distributed Environment ? Chiara Bodei, Pierpaolo Degano and Corrado…
- Cited by 7 (6 self) – Add To MetaCart
-
Handling Locally Names of Mobile Agents
- …Handling Locally Names of Mobile Agents Chiara Bodei, Pierpaolo Degano and Corrado Priami…
- Cited by 1 (0 self) – Add To MetaCart
-
An Enhanced CFA for Security Policies
- …An Enhanced CFA for Security Policies ? Chiara Bodei 1 Pierpaolo Degano 1 Corrado Priami 2…
- Cited by 2 (0 self) – Add To MetaCart
-
Control Flow Analysis for Mobile Ambients with Applications to Security
- …, Francesca Levi, Chiara Bodei Dipartimento di Informatica, Universita di Pisa Corso Italia, 40, I-56125 Pisa…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
