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

Document type:: Zeitschriftenaufsatz
Author(s):: La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor
Title:: Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
Journal title:: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Year:: 2015
Fulltext / DOI:: doi:10.4230/lipics.concur.2015.72
Publisher:: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Date of publication:: 01.01.2015
BibTeX