2023
Autores
Proença, J; Edixhoven, L;
Publicação
CoRR
Abstract
2023
Autores
Proença, J;
Publicação
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Abstract
2024
Autores
Proença, J;
Publicação
FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023
Abstract
This paper provides an overview on recent work on Team Automata, whereby a network of automata interacts by synchronising actions from multiple senders and receivers. We further revisit this notion of synchronisation in other well known concurrency models, such as Reo, BIP, Choreography Automata, and Multiparty Session Types. We address realisability of Team Automata, i.e., how to infer a network of interacting automata from a global specification, taking into account that this realisation should satisfy exactly the same properties as the global specification. In this analysis we propose a set of interesting directions of challenges and future work in the context of Team Automata or similar concurrency models.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.