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

N="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 ]