Overview on Constrained Multiparty Synchronisation in Team Automata

José Proença. Overview on Constrained Multiparty Synchronisation in Team Automata. In Javier Cámara, Sung-Shik Jongmans, editors, Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Volume 14485 of Lecture Notes in Computer Science, pages 194-205, Springer, 2023. [doi]

Abstract

Abstract is missing.