11 citations · 33 across the 7 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2021
Featured Team Automata
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker +1
We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified…
cs.FL2011★ 11 cited
Decoupled execution of synchronous coordination models via behavioural automata
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…