Digicampus
Vorlesung + Übung: Algebraische Beschreibung Paralleler Prozesse - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird online/digital abgehalten.

Allgemeine Informationen

Veranstaltungsname Vorlesung + Übung: Algebraische Beschreibung Paralleler Prozesse
Untertitel wichtige Infos unter: http://www.informatik.uni-augsburg.de/lehrstuehle/swt/ti/lehre/ss19/procalg
Veranstaltungsnummer INF-0156
Semester SS 2019
Aktuelle Anzahl der Teilnehmenden 2
Heimat-Einrichtung Theorie verteilter und paralleler Systeme
Veranstaltungstyp Vorlesung + Übung in der Kategorie Lehre
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 6

Räume und Zeiten

Keine Raumangabe

Kommentar/Beschreibung

In dieser Vorlesung wird die Prozeß-Algebra CCS vorgestellt:
CCS ist eine Sprache zur Beschreibung paralleler Systeme;
speziell kann CCS als parallele Programmiersprache gesehen
werden.

CCS verwendet Operationen wie z.B. |, wobei das System P|Q
aus den parallel arbeitenden Teilsystemen (Unterprogrammen)
P und Q besteht; demgemäß sind Beschreibungen in CCS
algebraische Ausdrücke. Es wird untersucht, wann zwei
Systeme dasselbe leisten; als Ergebnis dieser Untersuchungen
werden Gesetze (wie z.B. P|Q = Q|P) formuliert, mit deren
Hilfe die Korrektheit von Systemen (z.B.
Kommunikationsprotokollen) bewiesen werden kann.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Zeitgesteuerte Anmeldung: Algebraische Beschreibung Paralleler Prozesse".
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist möglich ab 12.03.2019, 00:00.