11 citations · 11 across the 1 of their papers we have counts for
1 paper
José Proença, Dave Clarke, Erik de Vink +1
Synchronous coordination systems allow the exchange of data by logically indivisible actions involving all coordinated entities. This paper introduces behavioural automata, a logic…