31 citations · 53 across the 15 of their papers we have counts for
1 paper · 2 filters
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…