31 citations · 53 across the 15 of their papers we have counts for
1 paper · 1 filter
Mario Bravetti, Gianluigi Zavattaro
We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning abou…