I did research into session types to try and solve this exact problem. However the theory still new and implementations are lacking. Again session types encode

I did research into session types to try and solve this exact problem. However the theory still new and implementations are lacking. Again session types encode the logic, you still need some sort of structure/content language to describe the messages. Session types should be able to encode complex protocols and combined with kaitai, maybe something can emerge.