The following pages link to Roberto Guanciale (Q988168):
Displayed 10 items.
- Event based choreography (Q988170) (← links)
- Realisability of pomsets (Q2011200) (← links)
- Hoare-style logic for unstructured programs (Q2038040) (← links)
- Validation of abstract side-channel models for computer architectures (Q2225102) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Formal verification of integrity-preserving countermeasures against cache storage side-channels (Q2324198) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- Coordination Via Types in an Event-Based Framework (Q3614838) (← links)
- (Q5019694) (← links)
- (Q5216330) (← links)