Ebook: Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

---

Content:
Front Matter....Pages I-VIII
Einleitung....Pages 1-6
Unbeschriftete Netze....Pages 7-40
Ein Modell zur Flußkontrolle....Pages 41-52
Auf- und Abbau von Verbindungen....Pages 53-74
Produktnetze....Pages 75-102
Beispiele....Pages 103-116
Ausdrucksstärke der Produktnetze....Pages 117-122
Das Alternating Bit Protokoll....Pages 123-140
Das ISDN-D-Kanalprotokoll....Pages 141-158
Zählermodell und Synchronisation....Pages 159-186
Schaltfolgenhomomorphismen....Pages 187-210
Reduzierte Erreichbarkeitsgraphen....Pages 211-218
Deadlocksprachen....Pages 219-230
Die Produktnetzmaschine....Pages 231-240
Schlichte Homomorphismen....Pages 241-268
Back Matter....Pages 269-280