On the Expressiveness of Joining and Splitting - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2018

On the Expressiveness of Joining and Splitting


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
Origin Files produced by the author(s)

Dates and versions

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



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⟩
123 View
135 Download



Gmail Mastodon Facebook X LinkedIn More