4 citations · 7 across the 2 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…