1 paper
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…