Skip to main content
  • Book
  • © 1995

Modellierung verteilter Systeme

Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

Part of the book series: Programm Angewandte Informatik (PAI)

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (15 chapters)

  1. Front Matter

    Pages I-VIII
  2. Einleitung

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 1-6
  3. Unbeschriftete Netze

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 7-40
  4. Ein Modell zur Flußkontrolle

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 41-52
  5. Auf- und Abbau von Verbindungen

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 53-74
  6. Produktnetze

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 75-102
  7. Beispiele

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 103-116
  8. Ausdrucksstärke der Produktnetze

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 117-122
  9. Das Alternating Bit Protokoll

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 123-140
  10. Das ISDN-D-Kanalprotokoll

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 141-158
  11. Zählermodell und Synchronisation

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 159-186
  12. Schaltfolgenhomomorphismen

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 187-210
  13. Reduzierte Erreichbarkeitsgraphen

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 211-218
  14. Deadlocksprachen

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 219-230
  15. Die Produktnetzmaschine

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 231-240
  16. Schlichte Homomorphismen

    • Peter Ochsenschläger, Rainer Prinoth
    Pages 241-268
  17. Back Matter

    Pages 269-280

Bibliographic Information

  • Book Title: Modellierung verteilter Systeme

  • Book Subtitle: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

  • Authors: Peter Ochsenschläger, Rainer Prinoth

  • Series Title: Programm Angewandte Informatik

  • DOI: https://doi.org/10.1007/978-3-322-88841-9

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 1995

  • Softcover ISBN: 978-3-528-05433-5Published: 01 January 1995

  • eBook ISBN: 978-3-322-88841-9Published: 08 March 2013

  • Edition Number: 1

  • Number of Pages: VIII, 280

  • Number of Illustrations: 29 b/w illustrations

  • Topics: Simulation and Modeling, Quality Control, Reliability, Safety and Risk, Computer Science, general

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access