English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Formal verification techniques in workflow process modeling Journal article
Zhou J., Shi M., Ye X.. Formal verification techniques in workflow process modeling[J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2005, 42(1), 1-9.
Authors:  Zhou J.;  Shi M.;  Ye X.
Favorite | TC[Scopus]:11 | Submit date：2018/12/22
Petri Net  Process Modeling  Reduction  Soundness  Verification  Workflow  
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs Journal article
Xu Q., De Roever W.-P., He J.. The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs[J]. Formal Aspects of Computing, 1997, 9(2), 149-174.
Authors:  Xu Q.;  De Roever W.-P.;  He J.
Favorite | TC[Scopus]:109 | Submit date：2019/04/04
Compositionality  Concurrency  Deadlock Freedom  Partial And Total Correctness  Rely-guarantee Formalism  Soundness And Completeness  Specification And Verification