@article{Abdulla:2019:PVU:3377388.3371094,
    Address = {New York, NY, USA},
    Author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Rezvan, Rojin},
    File = {Parameterized Verification under TSO is PSPACE-Complete - popl20main-p97-p - a - a - a - y.pdf},
    ISSN = {2475-1421},
    Journal = {Proc. ACM Program. Lang.},
    Keywords = {Model-Checking, Parameterized Verification, Total Store Ordering, Weak Memory Models},
    Month = {December},
    Number = {POPL},
    Pages = {26:1--26:29},
    Publisher = {ACM},
    Title = {Parameterized Verification Under TSO is PSPACE-complete},
    URL = {http://doi.acm.org/10.1145/3371094},
    Volume = {4},
    Year = {2019},
    acmid = {3371094},
    articleno = {26},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3371094},
    bdsk-url-2 = {https://doi.org/10.1145/3371094},
    date-added = {2019-12-24 17:38:41 +0100},
    date-modified = {2019-12-24 17:38:41 +0100},
    issue_date = {January 2020},
    numpages = {29},
    doi = {10.1145/3371094}
}

@article{Abdulla:2019:PVU:3377388.3371094, Address = {New York, NY, USA}, Author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Rezvan, Rojin}, File = {Parameterized Verification under TSO is PSPACE-Complete - popl20main-p97-p - a - a - a - y.pdf}, ISSN = {2475-1421}, Journal = {Proc. ACM Program. Lang.}, Keywords = {Model-Checking, Parameterized Verification, Total Store Ordering, Weak Memory Models}, Month = {December}, Number = {POPL}, Pages = {26:1--26:29}, Publisher = {ACM}, Title = {Parameterized Verification Under TSO is PSPACE-complete}, URL = {http://doi.acm.org/10.1145/3371094}, Volume = {4}, Year = {2019}, acmid = {3371094}, articleno = {26}, bdsk-url-1 = {http://doi.acm.org/10.1145/3371094}, bdsk-url-2 = {https://doi.org/10.1145/3371094}, date-added = {2019-12-24 17:38:41 +0100}, date-modified = {2019-12-24 17:38:41 +0100}, issue_date = {January 2020}, numpages = {29}, doi = {10.1145/3371094} }