Sfoglia per Autore TUOSTO, EMILIO
An Ada95 Implementation of a Network Coordination Language with Code Mobility
1999-01-01 Tuosto, E
Calculi for Network Aware Programming
2000-01-01 Ferrari, Luigi; Pugliese, Rosario; Tuosto, E
Security Issues in Component-based Design
2001-01-01 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
A debugging calculus for mobile ambients
2001-01-01 Ferrari, Luigi; Tuosto, E
A LTS Semantics of Ambients via Graph Synchronization with Mobility
2001-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Security and Dynamic Compositions of Open Systems
2002-01-01 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
From Co-algebraic Specifications to Implementation
2002-01-01 Ferrari, Luigi; Montanari, Ugo; Raggi, Roberto; Tuosto, E
Graph-Based Models of Internetworking Systems
2002-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
A Formal Basis for Reasoning on Programmable QoS
2003-01-01 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
The Klaim Project
2003-01-01 Bettini, Lorenzo; Bono, Viviana; Nicola, De; Ferrari, Luigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, E; Venneri, Betti
Verication On The Web Of Mobile Systems
2004-01-01 Ferrari, Luigi; Gnesi, Stefania; Montanari, Ugo; Raggi, Roberto; Trentanni, Gianluca; Tuosto, E
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types
2005-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Tarzan
2005-01-01 Tuosto, E
SHReQ
2005-01-01 Hirsch, Dan; Tuosto, E
Model Checking for Nominal Calculi
2005-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
2005-01-01 Ferrari, Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, E
A Coordination-based Methodology for Security Protocol Verification
2005-01-01 Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E
From Theory to Practice in Transactional Composition of Web Services
2005-01-01 Bruni, Roberto; Ferrari, Luigi; Melgratti, C; Montanari, Ugo; Strollo, Daniele; Tuosto, E
Modelling Fusion Calculus using HD-Automata
2005-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E; Victor, Björn; Yemane, Kidane
A Process Calculus for QoS-Aware Applications
2005-01-01 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Ada95 Implementation of a Network Coordination Language with Code Mobility | 1-gen-1999 | Tuosto, E | |
Calculi for Network Aware Programming | 1-gen-2000 | Ferrari, Luigi; Pugliese, Rosario; Tuosto, E | |
Security Issues in Component-based Design | 1-gen-2001 | Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E | |
A debugging calculus for mobile ambients | 1-gen-2001 | Ferrari, Luigi; Tuosto, E | |
A LTS Semantics of Ambients via Graph Synchronization with Mobility | 1-gen-2001 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
Security and Dynamic Compositions of Open Systems | 1-gen-2002 | Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E | |
From Co-algebraic Specifications to Implementation | 1-gen-2002 | Ferrari, Luigi; Montanari, Ugo; Raggi, Roberto; Tuosto, E | |
Graph-Based Models of Internetworking Systems | 1-gen-2002 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
A Formal Basis for Reasoning on Programmable QoS | 1-gen-2003 | Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E | |
The Klaim Project | 1-gen-2003 | Bettini, Lorenzo; Bono, Viviana; Nicola, De; Ferrari, Luigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, E; Venneri, Betti | |
Verication On The Web Of Mobile Systems | 1-gen-2004 | Ferrari, Luigi; Gnesi, Stefania; Montanari, Ugo; Raggi, Roberto; Trentanni, Gianluca; Tuosto, E | |
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types | 1-gen-2005 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
Tarzan | 1-gen-2005 | Tuosto, E | |
SHReQ | 1-gen-2005 | Hirsch, Dan; Tuosto, E | |
Model Checking for Nominal Calculi | 1-gen-2005 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing | 1-gen-2005 | Ferrari, Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, E | |
A Coordination-based Methodology for Security Protocol Verification | 1-gen-2005 | Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E | |
From Theory to Practice in Transactional Composition of Web Services | 1-gen-2005 | Bruni, Roberto; Ferrari, Luigi; Melgratti, C; Montanari, Ugo; Strollo, Daniele; Tuosto, E | |
Modelling Fusion Calculus using HD-Automata | 1-gen-2005 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E; Victor, Björn; Yemane, Kidane | |
A Process Calculus for QoS-Aware Applications | 1-gen-2005 | Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile