12403 - Modelle Paralleler Prozesse Modulübersicht

Modulnummer: 12403 - Modul nicht mehr im Angebot ab SS 2010
Modultitel:Modelle Paralleler Prozesse
  Models of Parallel Processes
Einrichtung: Fakultät 1 - Mathematik, Naturwissenschaften und Informatik
Verantwortlich:
  • Prof. Dr.rer.nat.habil. Bachmann, Peter
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: sporadisch nach Ankündigung
Leistungspunkte: 4
Lernziele:Der Horizont der Studierenden wird bezüglich möglicher Modelle für die Parallelverarbeitung
erweitert.
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.
Empfohlene Voraussetzungen:keine
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 2 SWS
  • Selbststudium / 90 Stunden
Unterrichtsmaterialien und Literaturhinweise:Wird zu Beginn ausgegeben
Modulprüfung:Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich!
Prüfungsleistung/en für Modulprüfung:Prüfungsgespräch benotet
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
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
Veranstaltungen zum Modul:keine
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden