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

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 ]