A Decomposition Approach with Invariant Analysis for Workflow Coordination.

JiDong Ge Haiyang Hu A Decomposition Approach with Invariant Analysis for Workflow Coordination. 290-302 2009 DASFAA Workshops http://dx.doi.org/10.1007/978-3-642-04205-8_25 conf/dasfaa/2009w db/conf/dasfaa/dasfaa2009w.html#GeH09