post_parent): $temp_content = $post->post_content; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[1]; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[0]; $temp_content = strip_tags($temp_content); $temp_content = trim($temp_content); $authors = explode(",",$temp_content); ?> post_title));?>"> $value): ?> "> "> "> post_content); while ($parser->parse()) { if (($parser->iNodeName=="a")&&(substr_count($parser->iNodeAttributes['href'],".pdf")>0)): ?>

Реализация сетевых протоколов как независимых процессов

Орлова М.М., Шандиба Д.В.

В статье рассматривается подход к реализации сетевых протоколов как независимых процессов. Использование предлагаемого метода позволяет реализовывать логику каждого сетевого протокола в стеке полностью независимо от других протоколов, что значительно облегчает применение формальных методов для решения задачи синтеза протоколов. В результате исследования сформулирована и опробована методика формального описания обобщенных моделей поведения сетевых протоколов, а также внешних механизмов их взаимодействия.

Загрузить (pdf)