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].

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ az ] [ b ] [ be ] [ by ] [ C ] [ C++ ] [ ca ] [ cat ] [ ch ] [ ci ] [ co ] [ com ] [ computer ] [ cr ] [ D ] [ de ] [ ding ] [ do ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ era ] [ eS ] [ EStPC ] [ et ] [ extenSion ] [ fi ] [ file ] [ fo ] [ for ] [ Formal DeScription Technique ] [ ge ] [ gov ] [ h ] [ hierarchy ] [ hn ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ int ] [ io ] [ iq ] [ IS ] [ iS ] [ ISO ] [ IT ] [ it ] [ ITU ] [ ITU-T ] [ ki ] [ kit ] [ la ] [ Lex ] [ lS ] [ M ] [ ma ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ mu ] [ N ] [ na ] [ named ] [ nc ] [ ne ] [ net ] [ network ] [ NFA ] [ ng ] [ ni ] [ nS ] [ O ] [ om ] [ op ] [ PC ] [ pe ] [ petdingo ] [ ph ] [ point ] [ pr ] [ protocol ] [ pt ] [ query ] [ range ] [ rc ] [ re ] [ ro ] [ S ] [ Sc ] [ Script ] [ Se ] [ Si ] [ Sl ] [ SO ] [ Spec ] [ Specification ] [ St ] [ T ] [ td ] [ to ] [ tp ] [ tw ]