A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

Sung-Shik Jongmans, Petra van den Bos

Browse the full ESOP paper archive.