Travelled to:
1 × Portugal
Collaborated with:
D.Ancona V.Mascardi
Talks about:
constrain (1) protocol (1) conform (1) system (1) global (1) multi (1) dynam (1) check (1) agent (1) type (1)
Person: Matteo Barbieri
DBLP: Barbieri:Matteo
Contributed to:
Wrote 1 papers:
- SAC-2013-AnconaBM #consistency #dynamic analysis #multi #protocol
- Constrained global types for dynamic checking of protocol conformance in multi-agent systems (DA, MB, VM), pp. 1377–1379.