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