Forwarders as Process Compatibility, Logically

Marco Carbone, Sonia Marin, Carsten Schürmann

Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is k…