Advertisement

Estelle

Chapter
  • 18 Downloads
Part of the Springer Compass book series (SC)

Zusammenfassung

Die Entwicklung von Estelle wurde ebenso wie die von LOTOS in der ISO initiiert. Die Notwendigkeit formaler Spezifikationssprachen ergab sich aus der Komplexität der Protokollspezifikationen, die internationale Standards werden sollen. Es wurde erkannt, daß zur Entwicklung zuverlässiger Protokolle für verteilte Systeme formale Methoden sehr hilfreich sein können.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  1. 1.Fachbereich InformatikUniversität HamburgGermany

Personalised recommendations