Algoritmy Verifikatsii I Proizvoditel'nosti Setevykh Protokolov

Monografiya posvyashchena opisaniyu i prakticheskoy realizatsii protokol'nykh ob"ektov osnovannykh na logicheskuyu i protsedurnuyu kharakteristiki s ispol'zovaniem posledovatel'noy skhemy modelirovaniya (blok-skhemy), cherez usloviya i sobytiya na osnove algoritma ikh funktsionirovaniya i setey Petri. Vse, o chem napisano v etoy monografii, sostavlyaet obobshchenie nekotorogo opyta i znaniy o verifikatsii i proizvoditel'nosti protokolov s tochki zreniya komp'yuternykh setey. Nesmotrya na to, chto avtor staralsya k shirote okhvata problemy, chitatel' pochuvstvoval, chto znaniya o verifikatsii i proizvoditel'nosti protokolov eshche daleko ne polny. Nauka zdes' nakhoditsya eshche v stadii stanovleniya. Eto proyavlyaetsya khotya by v tom, chto ne sushchestvuet uravneniya sostoyaniya i drugie matematicheskie vyrazheniya, dlya otsenki veroyatnostno-vremennykh kharakteristik protokola s tochki zreniya ego prakticheskoy realizatsii.