Models of Parallel Processes
Modelle Paralleler Prozesse
4 LPunregelmäßigDEwird nicht mehr angeboten
Inhalte
Prozesse und Synchronisation: das Prozeßkonzept, Ereignis- und Sperrsynchronisation, Synchronisationskonzepte; Bisimulation: Transitionssysteme, starke Bisimulation, starke Äquivalenz, schwache Bisimulation, Verhaltens-Äquivalenz; Der Zugang von Olderog/Hoare: die Sprache, operationale Semantik, Inferenz-Regeln, operationale und denotationale Verlaufssemantik, Spezifikation und Verifikation, Readiness- Semantik, Programmsynthese; Der Zugang von Milner: die Sprache, operationale Bisimulations-Semantik, Inferenzregeln, Verhaltens-Gleichheit, Verifikation; Prozeß-Algebren, der Zugang von Bergstra/Klop: Termalgebra, metrische Vervollständigung, Lösbarkeit und Eindeutigkeit von Gleichungssystemen, eine Hierarchie von Algebren, Spezifikation und Verifikation, Bisimulationssemantik.
Lernziele
Der Horizont der Studierenden wird bezüglich möglicher Modelle für die Parallelverarbeitung erweitert.
Prüfungsleistung
Prüfungsgespräch benotet
Literatur (1)
- Wird zu Beginn ausgegeben
Bemerkungen
- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Angewandte Mathematik M.Sc.: Wahlpflichtmodul Anwendungsfach Informatik
Quelle: Modulbeschreibung der BTU · abgerufen 19.10.2026Original