Follow
Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. (arXiv:2309.09997v1 [cs.SE]) http://arxiv.org/abs/2309.09997
Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. (arXiv:2309.09997v1 [cs.SE]) http://arxiv.org/abs/2309.09997