Korrekte Protokolle

Deadlock
Bedingungen für einen Deadlock
Livelock
Fairness
lokale Fairness
globale Fairness
globale vs lokale Fairness
Alternating Bit Protokoll
Alternating Bit Protokoll Probleme
Entwicklung korrektes Protokoll
Sicherheitseigenschaften eines Protokolls
Lebendigkeitseigenschaften eines Protokolls
Sicherheitseigenschaften vs Lebendigkeitseigenschaften
Nicht- Determinismus

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.