Travelled to:1 × Spain
Collaborated with:M.V.M.Oliveira J.Woodcock
Talks about:synchronis (1) interleav (1) implement (1) protocol (1) verifi (1) multi (1) way (1) csp (1)
Person: Ivan Soares de Medeiros Júnior
DBLP: J=uacute=nior:Ivan_Soares_de_Medeiros
Contributed to:
2013Wrote 1 papers:
- SEFM-2013-OliveiraJW #csp #multi #protocol
- A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP (MVMO, ISdMJ, JW), pp. 46–60.