D120.de/forum

Use the same close() function that was used to close the pipe file descriptors.

Danke. Somit ist also auch dieses Beispiel falsch.

Hallo, ich habe noch eine Frage zu weak fairness: int var = 0; active proctype p1() { do :: var = 1 :: var = 2 od } active proctype p2() { var = 3 } ltl m1 { <>(var == 1) } ltl m2 { <>(var == 2) } ltl m3 { <>(var == 3) } Ich dachte dass m1, m2 und m3 wahr sind, laut spin gilt aber nur m3. Das heißt,...

Danke

Soll die erste aufzunehmende Gabel eines Philosophen (wenn beide Gabeln gerade nicht von einem anderen Philosophen benutzt werden) nichtdeterministisch ausgewählt werden oder darf man festlegen, dass ein Philosoph z.B. immer zuerst die linke Gabel und danach die rechte aufnimmt?

Klick links auf "Teilnehmer/innen" und dann auf deinen Namen.

iSpin funktioniert auch (tcl ist schon installiert), aber erst nachdem man das Verzeichnis in dem sich spin befindet zu $PATH hinzugefügt hat.

Hallo,
wäre dankbar wenn jemand auch mir das Passwort schicken könnte.

Edit: Danke, hab es.

Danke, hab die Adresse gefunden.

Hallo,

kann mir jemand per PN die E-Mail-Adresse von meinem Tutor, Julian Bitterlich, schicken? zeigt nur an.