Shankara Narayanan Krishna, Adwait Godbole, Roland Meyer 0001, Soham Chakraborty. Parameterized Verification under Release Acquire is PSPACE-complete. In Alessia Milani, Philipp Woelfel, editors, PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022. pages 482-492, ACM, 2022. [doi]
@inproceedings{KrishnaG0C22,
title = {Parameterized Verification under Release Acquire is PSPACE-complete},
author = {Shankara Narayanan Krishna and Adwait Godbole and Roland Meyer 0001 and Soham Chakraborty},
year = {2022},
doi = {10.1145/3519270.3538445},
url = {https://doi.org/10.1145/3519270.3538445},
researchr = {https://researchr.org/publication/KrishnaG0C22},
cites = {0},
citedby = {0},
pages = {482-492},
booktitle = {PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022},
editor = {Alessia Milani and Philipp Woelfel},
publisher = {ACM},
isbn = {978-1-4503-9262-4},
}