Parameterized verification under TSO is PSPACE-complete

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Rojin Rezvan. Parameterized verification under TSO is PSPACE-complete. Proceedings of the ACM on Programming Languages, 4(POPL), 2020. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: