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