Analyzing realizability of choreographies using initiating and responding flows.

Surya Bahadur Kathayat, Rolv Brk

Browse the full MODELS paper archive.