Learn about the underlying principles of protocol compilers?

Can anyone recomend a really good book about protocol compilers, ie. how to generate protocol code? I don't want any superficial book that sort of works like a cook book with开发者_JAVA百科 a few recipies in it, instead I want to learn the fundamentals. What should I study in order to grasp the subject of two or more finite state machines sending messages to each other with the possibility of messages not arriving or arriving out of order? The question is "wide" as it were so any answer addressing the same general subject would be interesting.