Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 22
Titolo Data di pubblicazione Autore(i) File
An observational model for spatial logics 1-gen-2006 Emilio, Tuosto; MENDES TORRES VIEIRA, H
Extensionality of spatial observations in distributed systems 1-gen-2007 Luís, Caires; MENDES TORRES VIEIRA, H
The conversation calculus: a model of service-oriented computation 1-gen-2008 Luís, Caires; João Costa, Seco; MENDES TORRES VIEIRA, H
Conversation types 1-gen-2009 Luís, Caires; MENDES TORRES VIEIRA, H
A process calculus analysis of compensations 1-gen-2009 Luís, Caires; Carla, Ferreira; MENDES TORRES VIEIRA, H
Conversation types 1-gen-2010 Luís, Caires; MENDES TORRES VIEIRA, H
Tools and verification 1-gen-2011 Massimo, Bartoletti; Luís, Caires; Ivan, Lanese; Franco, Mazzanti; Davide, Sangiorgi; MENDES TORRES VIEIRA, H; Roberto, Zunino
Advanced mechanisms for service combination and transactions 1-gen-2011 Carla, Ferreira; Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro
Behavioral theory for session-oriented calculi 1-gen-2011 Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H
Type-based access control in data-centric systems 1-gen-2011 Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão
Static analysis techniques for session-oriented calculi 1-gen-2011 Lucia, Acciai; Chiara, Bodei; Michele, Boreale; Roberto, Bruni; MENDES TORRES VIEIRA, H
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications 1-gen-2012 Luís, Caires; MENDES TORRES VIEIRA, H
Analysis of service oriented software systems with the Conversation Calculus 1-gen-2012 Luís, Caires; MENDES TORRES VIEIRA, H
Typing progress in communication-centred systems 1-gen-2013 MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos
A type system for flexible role assignment in multiparty communicating systems 1-gen-2013 Pedro, Baltazar; Luís, Caires; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
Typing liveness in multiparty communicating systems 1-gen-2014 Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
Dynamic role authorization in multiparty conversations 1-gen-2014 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
Global protocol implementations via attribute-based communication 1-gen-2015 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
Combining behavioural types with security analysis 1-gen-2015 Massimo, Bartoletti; Ilaria, Castellani; Pierre-Malo, Deniélou; Mariangiola, Dezani-Ciancaglini; Silvia, Ghilezan; Jovanka, Pantovic; Jorge A., Pérez; Peter, Thiemann; Bernardo, Toninho; MENDES TORRES VIEIRA, H
Dynamic role authorization in multiparty conversations 1-gen-2016 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
Mostrati risultati da 1 a 20 di 22
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