Travelled to:
1 × France
Collaborated with:
N.Venkatasubramanian C.L.Talcott
Talks about:
protocol (1) interact (1) semant (1) model (1) safe (1)
Person: Sebastian Gutierrez-Nolasco
DBLP: Gutierrez-Nolasco:Sebastian
Contributed to:
Wrote 1 papers:
- SAC-2006-Gutierrez-NolascoVT #interactive #protocol #semantics
- A semantic model for safe protocol interaction (SGN, NV, CLT), pp. 1599–1600.