UM

Browse/Search Results:  1-1 of 1 Help

Selected(0)Clear Items/Page:    Sort:
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs Journal article
Formal Aspects of Computing, 1997,Volume: 9,Issue: 2,Page: 149-174
Authors:  Xu Q.;  De Roever W.-P.;  He J.
Favorite | View/Download:2/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/04/04
Compositionality  Concurrency  Deadlock freedom  Partial and total correctness  Rely-Guarantee formalism  Soundness and completeness  Specification and verification