Model Checking Suspendible Business Processes via Statechart Diagrams and CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong. Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. In Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with . pages 97-107, INSTICC Press, 2006.

This author has not been identified. Look up 'Wing Lok Yeung' in GoogleThis author has not been identified. Look up 'Karl R. P. H. Leung' in GoogleThis author has not been identified. Look up 'Ji Wang' in GoogleThis author has not been identified. Look up 'Wei Dong' in Google

runs on WebDSL