Sfoglia per Autore

opzioni
Mostrati risultati da 21 a 40 di 112
Titolo Data di pubblicazione Autore(i) File
Tarzan 1-gen-2005 Tuosto, E
A Logic for Application Level QoS 1-gen-2006 Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E
An Observational Model for Spatial Logics 1-gen-2006 Tuosto, E; Vieira, Torres
Translating Orc Features into Petri Nets and the Join Calculus 1-gen-2006 Bruni, Roberto; Melgratti, C; 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
Debugging Distributed Systems with Causal Nets 1-gen-2008 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
ICGT 2008 Doctoral Symposium 1-gen-2008 Corradini, Andrea; Tuosto, E
A symbolic framework for multi-faceted security protocol analysis 1-gen-2008 Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, E
Refactoring Long Running Transactions 1-gen-2008 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; 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
History Dependent Automata for Service Compatibility 1-gen-2008 Ciancia, Vincenzo; Ferrari, Luigi; Pistore, Marco; Tuosto, E
Towards A Formal Semantics For Autonomic Components 1-gen-2008 Aldinucci, Marco; Tuosto, Emilio
International Conference on Graph Transformation - Doctoral Symposium 1-gen-2008 Corradini, Andrea; Tuosto, E
Interaction and Concurrency Experiences 1-gen-2009 Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio
Interaction and Concurrency Experience: Structured Interactions 1-gen-2009 Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation 1-gen-2009 Corradini, Andrea; Tuosto, Emilio
Heuristic Methods for Security Protocols 1-gen-2009 Nizamani, Ain; Tuosto, E
Mostrati risultati da 21 a 40 di 112
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