Rely-Guarantee Reasoning for Causally Consistent Shared Memory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ori Lahav, Brijesh Dongol, Heike Wehrheim. Rely-Guarantee Reasoning for Causally Consistent Shared Memory. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Volume 13964 of Lecture Notes in Computer Science, pages 206-229, Springer, 2023. [doi]

This author has not been identified. Look up 'Ori Lahav' in GoogleThis author has not been identified. Look up 'Brijesh Dongol' in GoogleThis author has not been identified. Look up 'Heike Wehrheim' in Google

runs on WebDSL