A predicate transformer for choreographies. Computing preconditions in choreographic programming
scientific article; zbMATH DE number 7722325
scientific article