Может кто-нибудь порекомендовать действительно хорошую книгу о компиляторах протоколов, т.е. как генерировать код протокола? Я не хочу никакой поверхностной книги такого рода, как кулинарная книга с несколькими получателями, вместо этого я хочу изучить основы. Что я должен изучить, чтобы понять, как два или более конечных автомата отправляют сообщения друг другу с возможностью того, что сообщения не будут поступать или выходить из строя? Вопрос «широкий», так что любой ответ на ту же самую общую тему был бы интересен.