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  |  Submit date:2019/04/04
Compositionality  Concurrency  Deadlock freedom  Partial and total correctness  Rely-Guarantee formalism  Soundness and completeness  Specification and verification