Estelle
A Pascal extension for formal 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. EstPC Compiles Estelle into C. petdingo Translates Estelle into C++ Adopted by ITU-T. ISO 9074 (1989). ["The Formal Description Technique Estelle", M. Diaz et al eds, N-H 1989].Esterel
A distributed language for synchronous interaction of real-time systems with their environment. Uses explicit timing requests. Esterel programs are compiled into finite automata. ["The ESTEREL Programming Language and its Mathematical Semantics", G. Berry & L. Cosserat, TR 327, INRIA, 1984].EstPC
A compiler from Estelle to C. ftp:osi.ncsl.nist.gov/pub/osikit/estpc.Last updated: 1994-09-19
Nearby terms:
ESPRIT ♦ ESR ♦ essential complexity ♦ Estelle ♦ Esterel ♦ EstPC ♦ ET ♦ et
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
