Repository landing page
Lock sensitive analysis of parallel programs
Abstract
"Lock sensitive analysis of parallel programs" (Lock-Sensitive Analyse nebenläufiger Programme) Diese Dissertation behandelt einen Modellprüfungsalgorithmus für dynamische Pushdown-Netzwerke mit Monitoren (Monitor-DPNs). Monitor-DPNs sind ein Modell für parallele Programme mit rekursiven Prozeduren, Thread-Erzeugung, und wechselweisem Ausschluss durch Monitore. Betrachtet werden Vorgängermengenberechnungen, mit denen man viele interessante Eigenschaften ausdrücken kann, unter Anderem Race-Conditions, Bitvektoranalysen und das (EF,EX)-Fragment der branching-time Logik CTL- doctoralThesis
- doc-type:doctoralThesis
- info:eu-repo/semantics/doctoralThesis
- Text
- info:eu-repo/semantics/publishedVersion
- publishedVersion
- Model-Checking; Programmanalyse; Nebenläufigkeit; Monitore; dynamische Pushdown-Netzwerke; Vorgängermengen
- ddc:004
- info:eu-repo/classification/ddc/004
- Computer science
- ddc:510
- info:eu-repo/classification/ddc/510
- Mathematics
Similar works
Full text
Last time updated on 12/11/2016
This paper was published in Münstersches Informations und Archivsystem für Multimediale Inhalte.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.