Formal Analysis of BPMN Via a Translation into COWS.

Davide Prandi, Paola Quaglia, Nicola Zannone

Browse the full Coordination paper archive.