CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 71
Titolo Data di pubblicazione Autore(i) File
Priorities in statecharts 1-gen-1997 Maggiolo Schettini, Andrea; Merro, Massimo
On asynchrony in name-passing calculi 1-gen-1998 Merro, Massimo; Sangiorgi, Davide
On the expressiveness of Chi, Update, and Fusion calculi 1-gen-1998 Merro, Massimo
On equators in asynchronous name-passing calculi without matching (extended abstract) 1-gen-1999 Merro, Massimo
Aliasing models for object migration 1-gen-1999 Huttel, Hans; Kleist, Josva; Merro, Massimo; Nestmann, Uwe
Locality and poliadicity in asynchronous name-passing calculi 1-gen-2000 Merro, Massimo
Local Pi-Calculus at work: mobile objects as mobile processes 1-gen-2000 Merro, Massimo; Kleist, Josva; Nestmann, Uwe
Aliasing models for mobile objects 1-gen-2002 Nestmann, Uwe; Huttel, Hans; Kleist, Josva; Merro, Massimo
Communication interference in mobile boxed ambients 1-gen-2002 Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
Bisimulation congruences in safe ambients 1-gen-2002 Merro, Massimo; Hennessy, Matthew
Typing and subtyping mobility in boxed ambients 1-gen-2002 Merro, Massimo; Sassone, Vladimiro
Mobile objects as mobile processes 1-gen-2002 Merro, Massimo; Kleist, Josva; Nestmann, Uwe
Towards a behavioural theory of access and mobility control in distributed systems (extended abstract) 1-gen-2003 Hennessy, Matthew; Merro, Massimo; Rathke, Julian
Bisimulation proof methods for mobile ambients 1-gen-2003 Merro, Massimo; Zappa Nardelli, Francesco
Modeling consensus in a process calculus 1-gen-2003 Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
On asynchrony in name-passing calculi 1-gen-2004 Merro, Massimo; Sangiorgi, Davide
Towards a behavioural theory of access and mobility control in distributed systems 1-gen-2004 Hennessy, Matthew; Merro, Massimo; Rathke, Julian
Behavioural theory for mobile ambients 1-gen-2004 Merro, Massimo; Zappa Nardelli, Francesco
Communication and mobility control in Boxed Ambients 1-gen-2005 Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
Behavioural theory for Mobile Ambients 1-gen-2005 Merro, Massimo; Zappa Nardelli, Francesco
Mostrati risultati da 1 a 20 di 71
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