Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 112
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
A LTS Semantics of Ambients via Graph Synchronization with Mobility 1-gen-2001 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
A debugging calculus for mobile ambients 1-gen-2001 Ferrari, Luigi; Tuosto, E
Security Issues in Component-based Design 1-gen-2001 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
Security and Dynamic Compositions of Open Systems 1-gen-2002 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
Graph-Based Models of Internetworking Systems 1-gen-2002 Ferrari, Luigi; Montanari, Ugo; 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
A Formal Basis for Reasoning on Programmable QoS 1-gen-2003 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
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
Synchronized Hyperedge Replacement for Heterogeneous Systems 1-gen-2005 Lanese, Ivan; Tuosto, E
Modelling Fusion Calculus using HD-Automata 1-gen-2005 Ferrari, Luigi; Montanari, Ugo; Tuosto, E; Victor, Björn; Yemane, Kidane
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
A Process Calculus for QoS-Aware Applications 1-gen-2005 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; 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
Tarzan 1-gen-2005 Tuosto, E
Model Checking for Nominal Calculi 1-gen-2005 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Mostrati risultati da 1 a 20 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