H ? « »

Language peer sets for Estelle:
Designed 1989
1980s languages
Fifth generation
Late Cold War
Specialised Languages
Specialised Languages/1989


alternate simple view
Designed 1989
Published: 1989
Sammet category: Specialised Languages

A Pascal extension for specification of computer network protocols. Protocols are described by modules which are communicating NFA's. Modules are arranged in a dynamic hierarchy and communicate at named interaction points. Adopted by CCITT. ISO 9074 (1989).

  • Dembinski, P. (1989) Dembinski, P. and S. Budkowski. Specification language Estelle. In Michel Diaz, Jean-Pierre Ansart, Jean-Pierre Courtiat, Pierre Azema, and Vijaya Chari, editors, The formal description technique Estelle, pages 35-75. North-Holland, 1989.
  • Deepinder Sidhu, Anthony Chung, and Thomas P. (1990) Deepinder Sidhu, Anthony Chung, and Thomas P. Blumer. A formal description technique for protocol engineering. Technical Report CSTR- 2505, University of Maryland at College Park, July 1990.
  • Kohler, Eddie (1997) Kohler, Eddie "Prolac: A Language For Protocol Compilation" MSc MIT September, 1997 Extract: Related work
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder