Entscheidbarkeit von Sicherheitsspielen unter der Total Store Order Semantik
Die Arbeit untersucht die Entscheidbarkeit und Komplexität von Sicherheitsspielen, die auf dem Total Store Order (TSO) Modell für nebenläufige Systeme basieren. Es werden verschiedene Varianten dieser Spiele betrachtet, bei denen die Spieler unterschiedliche Kontrolle über die Aktualisierung der Prozess-Puffer haben. Die Autoren zeigen, dass die Sicherheitsprobleme für die meisten Varianten entscheidbar und sogar EXPTIME-vollständig sind, während eine Gruppe von Spielen unentscheidbar ist.