Sfoglia per Autore
Synchronized Hyperedge Replacement for Heterogeneous Systems
2005-01-01 Lanese, Ivan; Tuosto, E
Translating Orc Features into Petri Nets and the Join Calculus
2006-01-01 Bruni, Roberto; Melgratti, C; Tuosto, E
An Observational Model for Spatial Logics
2006-01-01 Tuosto, E; Vieira, Torres
A Logic for Application Level QoS
2006-01-01 Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E
Coordination Via Types in an Event-Based Framework
2007-01-01 Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Service Oriented Architectural Design
2007-01-01 Bruni, Roberto; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E
ICGT 2008 Doctoral Symposium
2008-01-01 Corradini, Andrea; Tuosto, E
International Conference on Graph Transformation - Doctoral Symposium
2008-01-01 Corradini, Andrea; Tuosto, E
Network Applications of Graph Bisimulation
2008-01-01 Cenciarelli, Pietro; Gorla, Daniele; Tuosto, E
Event-Based Service Coordination
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Multiparty Sessions in SOC
2008-01-01 Bruni, Roberto; Lanese, Ivan; Melgratti, C; Tuosto, E
Refactoring Long Running Transactions
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Towards A Formal Semantics For Autonomic Components
2008-01-01 Aldinucci, Marco; Tuosto, Emilio
A symbolic framework for multi-faceted security protocol analysis
2008-01-01 Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, E
History Dependent Automata for Service Compatibility
2008-01-01 Ciancia, Vincenzo; Ferrari, Luigi; Pistore, Marco; Tuosto, E
Debugging Distributed Systems with Causal Nets
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Interaction and Concurrency Experiences
2009-01-01 Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio
Heuristic Methods for Security Protocols
2009-01-01 Nizamani, Ain; Tuosto, E
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation
2009-01-01 Corradini, Andrea; Tuosto, Emilio
Interaction and Concurrency Experience: Structured Interactions
2009-01-01 Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Synchronized Hyperedge Replacement for Heterogeneous Systems | 1-gen-2005 | Lanese, Ivan; Tuosto, E | |
Translating Orc Features into Petri Nets and the Join Calculus | 1-gen-2006 | Bruni, Roberto; Melgratti, C; Tuosto, E | |
An Observational Model for Spatial Logics | 1-gen-2006 | Tuosto, E; Vieira, Torres | |
A Logic for Application Level QoS | 1-gen-2006 | Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E | |
Coordination Via Types in an Event-Based Framework | 1-gen-2007 | Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
Service Oriented Architectural Design | 1-gen-2007 | Bruni, Roberto; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E | |
ICGT 2008 Doctoral Symposium | 1-gen-2008 | Corradini, Andrea; Tuosto, E | |
International Conference on Graph Transformation - Doctoral Symposium | 1-gen-2008 | Corradini, Andrea; Tuosto, E | |
Network Applications of Graph Bisimulation | 1-gen-2008 | Cenciarelli, Pietro; Gorla, Daniele; Tuosto, E | |
Event-Based Service Coordination | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
Multiparty Sessions in SOC | 1-gen-2008 | Bruni, Roberto; Lanese, Ivan; Melgratti, C; Tuosto, E | |
Refactoring Long Running Transactions | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
Towards A Formal Semantics For Autonomic Components | 1-gen-2008 | Aldinucci, Marco; Tuosto, Emilio | |
A symbolic framework for multi-faceted security protocol analysis | 1-gen-2008 | Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, E | |
History Dependent Automata for Service Compatibility | 1-gen-2008 | Ciancia, Vincenzo; Ferrari, Luigi; Pistore, Marco; Tuosto, E | |
Debugging Distributed Systems with Causal Nets | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
Interaction and Concurrency Experiences | 1-gen-2009 | Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio | |
Heuristic Methods for Security Protocols | 1-gen-2009 | Nizamani, Ain; Tuosto, E | |
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation | 1-gen-2009 | Corradini, Andrea; Tuosto, Emilio | |
Interaction and Concurrency Experience: Structured Interactions | 1-gen-2009 | Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio |
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