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

Titel:: Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor
Zeitschriftentitel:: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Jahr:: 2015
Volltext / DOI:: doi:10.4230/lipics.concur.2015.72
Verlag / Institution:: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Publikationsdatum:: 01.01.2015
BibTeX