External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Parameterized Verification under Release Acquire is PSPACE-complete

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]

Authors

Shankara Narayanan Krishna

This author has not been identified. Look up 'Shankara Narayanan Krishna' in Google

Adwait Godbole

This author has not been identified. Look up 'Adwait Godbole' in Google

Roland Meyer 0001

This author has not been identified. Look up 'Roland Meyer 0001' in Google

Soham Chakraborty

This author has not been identified. It may be one of the following persons: Look up 'Soham Chakraborty' in Google
runs on