Declarative Choreographies and Liveness.

Thomas T. Hildebrandt, Tijs Slaats, Hugo A. Lpez, Sren Debois, Marco Carbone

Browse the full FORTE paper archive.