(not yet available in english, sorry :-) )
ZieleDie Arbeitsgruppe IPC-Package beschäftigt sich mit der Verifikation der Linux-Implementation des IPC-Package (Message Queues, Semaphoren, Shared Memory) nach System V.StatusMomentan beschäftigen wir uns mit der Spezifikation der Message Queues in Z. Unser bisheriges Ergebnis findet sich als Postscript-Datei hierAnsprechpersonen |
zur Startseite von LiVE! |