108 citations · 245 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 8 cited
A Behavioural Theory for Interactions in Collective-Adaptive Systems
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system…
cs.LO2016★ 3 cited
Multiparty testing preorders
Rocco de Nicola, Hernán Melgratti
Variants of the must testing approach have been successfully applied in service oriented computing for analysing the compliance between (contracts exposed by) clients and servers o…