Must do: Reliable Multicast Evtl.: Kapseln: Protokolle sollen nur fuer sie bestimtme methoden aufrufen koennen Periodische Tasks anlegen koennen "Himmelobjekt"? Simulationen beliebig lang machen KeyEvent Manager Loggingfenster soll nur Lamport/Vektorzeit anzeigen, wenn ausgewaehlt Evtl. nicht: Protocols: Waehlermengen nach Maekawa? NFS AFS Systemschnitte? Middleware-Schicht? Ereignisse, die Prozessvariablen aendern Bedingte Ereignisse