Мережеві технології
Сети Петри
Протоколы можно описывать не только с помощью модели машины конечных состояний. Альтернативой можно считать сети Петри (смотри, также книгу «Сети Петри», Котов В.Е., ...