A Branching-Process-Based Method to Check Soundness of Workflow Systems

GuanJun Liu, Wolfgang Reisig, Changjun Jiang, MengChu Zhou. A Branching-Process-Based Method to Check Soundness of Workflow Systems. IEEE Access, 4:4104-4118, 2016. [doi]

Authors

GuanJun Liu

This author has not been identified. Look up 'GuanJun Liu' in Google

Wolfgang Reisig

This author has not been identified. Look up 'Wolfgang Reisig' in Google

Changjun Jiang

This author has not been identified. Look up 'Changjun Jiang' in Google

MengChu Zhou

This author has not been identified. Look up 'MengChu Zhou' in Google