Skip to Main content Skip to Navigation
Book sections

On the Expressiveness of Joining and Splitting

Thomas Given-Wilson 1 Axel Legay 1 
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Complete list of metadata

Cited literature [58 references]  Display  Hide  Download
Contributor : Thomas Given-Wilson Connect in order to contact the contributor
Submitted on : Friday, December 14, 2018 - 4:50:41 PM
Last modification on : Saturday, August 6, 2022 - 3:32:40 AM
Long-term archiving on: : Friday, March 15, 2019 - 4:54:11 PM


Files produced by the author(s)


  • HAL Id : hal-01955922, version 1


Thomas Given-Wilson, Axel Legay. On the Expressiveness of Joining and Splitting. Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, Springer, pp.326-335, 2018, Lecture Notes in Computer Science. ⟨hal-01955922⟩



Record views


Files downloads