Title of talk: Behaviour of Team Automata

Abstract

A team automaton over a set of automata is formed by spelling out its synchronizations of shared actions. This talk focuses on the relation between the behaviour of team automata and that of their constituting automata. It is shown that under certain conditions the behaviour of a team automaton can be obtained from the behaviour of its constituting automata (and vice versa) without knowledge of the actual structure of the automata involved.