1 paper
Maurice H. ter Beek, Rolf Hennicker, José Proença
Team Automata is a formalism for interacting component-based systems proposed in 1997, whereby multiple sending and receiving actions from concurrent automata can synchronise. Duri…