Towards refinable choreographies

• Published in: Journal of logical and algebraic methods in programming Vol. 127; p. 100776
• Main Authors: de'Liguoro, Ugo, Melgratti, Hernán, Tuosto, Emilio
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.06.2022
• Subjects: Choreography; Refinement; Typing; Refinement; Typing; Choreography

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, which are sufficient conditions that gu...