- Phänomene verteilter Software-Systeme (kausale Abhängigkeit, Nebenläufigkeit, Parallelität, Interaktion, Synchronisation, Indeterminismus, Deadlock, Safety, Liveness)
- Grundlagen der Modellierung (Ereignis, Aktion, Prozessmodell, Trace, Komposition, konsistenter Schnitt)
- Grundlagen verteilter Software-Systeme (Prozess-/Thread-Konzept, Interaktion, Synchronisation, Kommunikation)
- Entwurfssprachen (UML)
- Implementierungssprachen (Java)
- Java Virtual Machine (Threads, Thread-Graph, Synchronisation, Interaktion, Kommunikation, Sockets, RMI)
|