On the Expressiveness of Joining and Splitting - Chaire Cybersécurité sur l'analyse de la menace Accéder directement au contenu
Chapitre D'ouvrage Année : 2018

On the Expressiveness of Joining and Splitting

Résumé

An ongoing theme of the work of Bernhard Steffen has been the bringing together of different components in a coordinated manner and with a unified language. This paper explores this approach applied to process calculi that account for coordination of different kinds of work-flows. Coordination here extends binary interaction to also account for joining of multiple outputs into a single input, and splitting from a single output to multiple inputs. The results here formalise which process calculi can and cannot be encoded into one another, and thus which language has the required expressiveness for given workflow properties. The combination of with other features of interaction allows for the representation of many systems and workflows in an appropriate calculus.
Fichier principal
Vignette du fichier
llncs-main.pdf (418.2 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01955922 , version 1 (14-12-2018)

Identifiants

Citer

Thomas Given-Wilson, Axel Legay. On the Expressiveness of Joining and Splitting. Models, Mindsets, Meta: The What, the How, and the Why Not?, LNCS-11200, Springer, pp.326-355, 2018, Lecture Notes in Computer Science, 978-3-030-22347-2. ⟨10.1007/978-3-030-22348-9_20⟩. ⟨hal-01955922⟩
121 Consultations
128 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More