Searching for authors named "Emilio Tuosto" – sorted by Relevance.
-
Non-Functional Aspects of Wide Area Network
- Non-Functional Aspects of Wide Area Network Programming Emilio Tuosto Ph.D. Thesis Dipartimento di
- Add To MetaCart
-
Synchronized hyperedge replacement for heterogeneous systems
- Synchronized Hyperedge Replacement for Heterogeneous Systems Ivan Lanese and Emilio Tuosto
- Cited by 8 (5 self) – Add To MetaCart
-
International Journal of Information Security manuscript No. (will be inserted by the editor)
- ) Andrea Bracciali · Gianluigi Ferrari · Emilio Tuosto A symbolic framework for multi-faceted security
- Add To MetaCart
-
Model checking for nominal calculi
- Model Checking for Nominal Calculi ⋆ Gianluigi Ferrari, Ugo Montanari, and Emilio Tuosto
- Cited by 2 (0 self) – Add To MetaCart
-
Foundational Calculi for Network Aware Programming, Technical Report, Universita’ di Firenze, c/o Dipartimento di Sistemi ed Informatica
- Informatica, Università di Firenze and EMILIO TUOSTO Dipartimento di Informatica, Università di Pisa We
- Cited by 1 (0 self) – Add To MetaCart
-
Polyadic History-Dependent Automata for the Fusion Calculus
- Polyadic History-Dependent Automata for the Fusion Calculus ⋆ Emilio Tuosto 1 , Björn Victor 2
- Cited by 2 (1 self) – Add To MetaCart
-
Translating Orc features into petri nets and the join calculus
- Melgratti 2 , and Emilio Tuosto 3 1 Computer Science Department, University of Pisa, Italy. 2 IMT, Lucca
- Cited by 2 (0 self) – Add To MetaCart
-
ASPASyA: an automated tool for security protocol analysis based on a symbolic approach. Submitted for publication
- Baldi, Andrea Bracciali, Gianluigi Ferrari, and Emilio Tuosto Dipartimento di Informatica Universit
- Cited by 2 (1 self) – Add To MetaCart
-
A Coordination-based Methodology for Security Protocol Verification
- Bracciali, Gianluigi Ferrari, and Emilio Tuosto Dipartimento di Informatica Università di Pisa, Italy
- Cited by 6 (4 self) – Add To MetaCart
-
From co-algebraic specifications to implementation: The Mihda toolkit
- Montanari, Roberto Raggi, and Emilio Tuosto Dipartimento di Informatica, Universit di Pisa, Italy. {giangi
- Cited by 9 (7 self) – Add To MetaCart

