14 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 4 cited
Choreographies and Behavioural Contracts on the Way to Dynamic Updates
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…
cs.PL2014★ 14 cited
Decidability Problems for Actor Systems
Frank De Boer, Mahdi Jaghoori, Cosimo Laneve +1
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a crucial feature: the dynamic creation of names in…