Towards Refinable Choreographies

Ugo de'Liguoro
(Università di Torino)
Hernán Melgratti
(Universidad de Buenos Aires)
Emilio Tuosto
(Gran Sasso Science Institute)

We investigate refinement in the context of choreographies. We introduce refinable global choreographies allowing for the underspecification of protocols, whose interactions can be refined into actual protocols. Arbitrary refinements may spoil well-formedness, that is the sufficient conditions that guarantee a protocol to be implementable. We introduce a typing discipline that enforces well-formedness of typed choreographies. Then we unveil the relation among refinable choregraphies and their admissible refinements in terms of an axiom scheme.

In Julien Lange, Anastasia Mavridou, Larisa Safina and Alceste Scalas: Proceedings 13th Interaction and Concurrency Experience (ICE 2020), Online, 19 June 2020, Electronic Proceedings in Theoretical Computer Science 324, pp. 61–77.
Published: 17th September 2020.

ArXived at: http://dx.doi.org/10.4204/EPTCS.324.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org