Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable.

Salvatore La Torre, Anca Muscholl, Igor Walukiewicz

Browse the full CONCUR paper archive.