Gruppe IPC in LiVE!

(not yet available in english, sorry :-) )

Ziele

Die Arbeitsgruppe IPC-Package beschäftigt sich mit der Verifikation der Linux-Implementation des IPC-Package (Message Queues, Semaphoren, Shared Memory) nach System V.

Status

Momentan beschäftigen wir uns mit der Spezifikation der Message Queues in Z. Unser bisheriges Ergebnis findet sich als Postscript-Datei hier

Ansprechpersonen

 
zur Startseite von LiVE!