14 citations · 48 across the 26 of their papers we have counts for
1 paper · 2 filters
Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer
We study the safety verification problem for parameterized systems under the release-acquire (RA) semantics. It has been shown that the problem is intractable for systems with unli…