Towards refinable choreographies - de'Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio (Journal of logical and algebraic methods in programming, 2022)
Keywords: Choreography; Refinement; Typing; Refinement; Typing; Choreography