Overview on Constrained Multiparty Synchronisation in Team Automata
Ref: CISTER-TR-231003 Publication Date: 20, Oct, 2023
Overview on Constrained Multiparty Synchronisation in Team Automata
Ref: CISTER-TR-231003 Publication Date: 20, Oct, 2023Abstract:
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.
José ProençaDocument:
View
DownloadFormal Aspects of Component Software - 19th International Conference (FACS 2023).
Online.
Record Date: 19, Oct, 2023
Short links for this page: www.cister-labs.pt/docs/cister_tr_231003 www.cister-labs.pt/docs/1939