Searching for authors named "Emilio Tuosto" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
