Sign in
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs.
Qiwen Xu
Willem P. de Roever
Jifeng He
Published in:
Formal Aspects Comput. (1997)
Keyphrases
</>
objective function
response time
distributed systems