Programming Language - Estelle


Estelle

Estelle - A Pascal extension for specification of computer network
protocols. Protocols are described by modules which are communicating
NFAs. Modules are arranged in a dynamic hierarchy and communicate at
named interaction points. "The Formal Description Technique Estelle", M.
Diaz et al eds, N-H 1989. Adopted by CCITT. ISO 9074 (1989).
ftp://osi.ncsl.nist.gov/pub/osikit/estpc Compiles Estelle into C
petdingo Translates Estelle into C++

Comments, Experience, Additions

Next Language:   Esterel


Language Search

 


Browse by Letter

A B C D E F G H I J K L M
N O P Q R S T U V W X Y Z


Estelle Programming Language
http://www.programming-languages.co.uk/estelle.html
Large list of computer programming languages arranged alphabetically, with explanations.






©Copyright 2007 - Programming Languages