Formal Semantics and Verification of BPMN Transaction and Compensation.

Tsukasa Takemura

Browse the full APSCC paper archive.