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]
Abstract is missing.