Title of talk: From Synchronous to Asynchronous Communication in Team Automata

Abstract

Team Automata is a formalism for interacting component-based systems proposed in 1997, whereby multiple sending and receiving actions from concurrent automata can synchronise, and since then team automata have been studied and applied in many different contexts. In this talk, we first revisit the specific notion of synchronisation and composition of team automata and briefly relate it to other relevant coordination models, like Reo, BIP, Contract Automata, Choreography Automata, and Multi-Party Session Types. We then focus on several aspects that have recently been investigated for team automata and related models, like communication properties (can receptiveness and responsiveness be guaranteed?), realisability (how to decompose a global model into local components?) and tool support (what has been implemented?). After this snapshot of recent research on team automata, we provide an outlook on future research on asynchronous communication in team automata and how this impacts communication properties and realisability.