11 citations · 22 across the 3 of their papers we have counts for
1 paper · 1 filter
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…