1 paper
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying the protocols that communicating processes must follow in a concurrent system. When composing two or more well-typed processes, a session typ…