The following pages link to Hugo Torres Vieira (Q315293):
Displayed 14 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Conversation types (Q615952) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- A calculus for modeling floating authorizations (Q2329444) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- Type-Based Access Control in Data-Centric Systems (Q3000577) (← links)
- Global Protocol Implementations via Attribute-Based Communication (Q3460871) (← links)
- Conversation Types (Q3617706) (← links)
- (Q5019690) (← links)
- The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402) (← links)
- A Calculus for Modeling Floating Authorizations (Q5881536) (← links)
- Testing for coordination fidelity (Q6199105) (← links)