29 citations · 49 across the 9 of their papers we have counts for
1 paper · 1 filter
Jad Hamza
It was shown in Alur et al. [1] that the problem of verifying finite concurrent systems through Linearizability is in EXPSPACE. However, there was still a complexity gap between th…