Bibliographic Metadata
Bibliographic Metadata
- TitleLock sensitive analysis of parallel programs
- Author
- Thesis advisor
- Published
- LanguageEnglish
- Document typeDissertation (PhD)
- Keywords (DE)
- URN
Restriction-Information
- The document is publicly available on the WWW
Links
- Social MediaShare
- Reference
- IIIF
Files
Classification
Zusammenfassung
"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.
Content
Stats
- The PDF-Document has been downloaded 2 times.