Analyzing Realizability of BPMN Choreographies.

Mei Zhang, Hui Li, Zuyuan Huang, Yudou Huang, Fu Bao

Browse the full DASC paper archive.