32 citations · 78 across the 20 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
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…
cs.PL2021
Synchronous Forwarders
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying protocols that processes must follow when communicating with each other. Session types are in a propositions-as-types correspondence with lin…