%0 Journal Article %T A Precise Execution Semantics for BPMN %A Vitus S.W. Lam %J IAENG International Journal of Computer Science %D 2012 %I IAENG - International Association of Engineers %U http://www.iaeng.org/IJCS/issues_v39/issue_1/IJCS_39_1_03.pdf