Modelling and model checking suspendible business processes via statechart diagrams and CSP

Sorry, there's nothing here.

Cite this paper

@article{Yeung2007ModellingAM, title={Modelling and model checking suspendible business processes via statechart diagrams and CSP}, author={Wing Lok Yeung and Karl R. P. H. Leung and Ji Wang and Wei Dong}, journal={Sci. Comput. Program.}, year={2007}, volume={65}, pages={14-29} }