Vortrag beim Workshop “Luhme XI” beim Lehrstuhl für Theorie der Programmierung (7. Mai 2005)
Dieser Vortrag gibt die voraussichtliche Gliederung meiner Studienarbeit wieder: nach einer kurzen Einführung in TLDA vergleichen wir verschiedene Semantiken (Halbordnung vs. Interleaving) miteinander, arbeiten formal ein Transitionssystem für TLDA-Spezifikationen aus und zeigen an Beispielen, wie dies prototypisch im Tool TLDC implementiert wurde. Außerdem werden Lösungen für auftretende (zumeist exponentielle) Probleme vorgestellt.
Dateien
- Folien (PDF-Dokument, 31 Folien, 359 KB)
- Mutual Exclusion (TLDA-Spezifikation, 2 KB)
- Crossing the River (TLDA-Spezifikation, 2 KB)
letzte Kommentare