Propositionale dynamische Logik und Nebenläufigkeit: Eine Analyse und Erweiterung
Die Arbeit entwickelt eine erweiterte Form der propositionalen dynamischen Logik (OPDL), die es ermöglicht, Nebenläufigkeit und verschiedene Operationssemantiken für Programme zu modellieren. Dies überwindet Einschränkungen früherer Ansätze zur Anwendung der propositionalen dynamischen Logik auf Nebenläufigkeit.