Modellierung verteilter Systeme
Aufgabenblätter
Folien aus der Vorlesung
Prof. Dr. Manfred Broy
Software & Systems Engineering
Aufgabenblätter
Aufgabenblatt 1 vom 8.11.2001, (
Blatt1.ps
,
Blatt1.pdf
)
Aufgabenblatt 2 vom 22.11.2001, (
Blatt2.ps
,
Blatt2.pdf
)
Aufgabenblatt 3 vom 13.12.2001, (
Blatt3.ps
,
Blatt3.pdf
)
Aufgabenblatt 4 vom 20.12.2001,
uuups, in der Aufgabenstellung zur Hausaufgabe haben sich 2 Tippfehler eingeschlichen.
Die korrigierten Aufgabenblätter:(
Blatt4.ps
,
Blatt4.pdf
). Schema für den Dekker-Algorithmus:
PS
,
PDF
Aufgabenblatt 5 vom 17.1.2002, (
Blatt5.ps
,
Blatt5.pdf
)
Aufgabenblatt 6 vom 31.1.2002, (
Blatt6.ps
,
Blatt6.pdf
)
Folien zur Vorlesung
Vorlesung am 31.10.2001; Alternating Bit Protokoll (
ABP.ps
,
ABP.pdf
)
Katharina Spies
, 30.1.2002