Paper Details:
A Typed Model for Encoding-Based Protocol Interoperability