6 citations · 15 across the 13 of their papers we have counts for
1 paper · 1 filter
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…