Parameterized Verification of Asynchronous Shared-Memory Systems | Publicación