Modelling and model checking suspendible business processes via statechart diagrams and CSP
From MaRDI portal
Publication:869685
DOI10.1016/j.scico.2006.08.007zbMath1109.68071OpenAlexW2039319112MaRDI QIDQ869685
K. R. P. H. Leung, Ji Wang, W. L. Yeung, Wei Dong
Publication date: 8 March 2007
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2006.08.007
Uses Software