%0 Conference Proceedings
%T Team Automata@Work: On Safe Communication
%+ CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa] (CNR | ISTI)
%+ Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München (LMU)
%+ Universiteit Leiden = Leiden University 
%A ter Beek, Maurice, H.
%A Hennicker, Rolf
%A Kleijn, Jetty
%Z Part 3: Message-Based Communication
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Simon Bliudze
%Y Laura Bocchi
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12134
%P 77-85
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50029-0_5
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X We study requirements for safe communication in systems of reactive components in which components communicate via synchronised execution of common actions. These systems are modelled in the framework of team automata in which any number of components can participate—as a sender or as a receiver—in the execution of a communication action. Moreover, there is no fixed synchronisation policy as these policies in general depend on the application. In this short paper, we reconsider the concept of safe communication in terms of reception and responsiveness requirements, originally defined for synchronisation policies determined by a synchronisation type. Illustrated by a motivating example, we propose three extensions. First, compliance, i.e. satisfaction of communication requirements, does not have to be immediate. Second, the synchronisation type (and hence the communication requirements) no longer has to be uniform, but can be specified per action. Third, we introduce final states to be able to distinguish between possible and guaranteed executions of actions.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03273992/document
%2 https://inria.hal.science/hal-03273992/file/495623_1_En_5_Chapter.pdf
%L hal-03273992
%U https://inria.hal.science/hal-03273992
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12134