Compositionality of Safe Communication in Systems of Team Automata

This technical report is an extended version of the following conference paper:

• Maurice H. ter Beek, Rolf Hennicker, and Jetty Kleijn, Compositionality of Safe Communication in Systems of Team Automata. In Proceedings of the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020), Macau, China, November 30 - December 4, 2020 (Violet Ka I Pun, Adenilso da Silva Simão, and Volker Stolz, eds.). Lecture Notes in Computer Science, Springer, 2020.

This technical report contains the full proofs and some insightful counterexamples of the results presented in Sections 4 and 5 of the conference paper.