Session types are types for specifying the protocols that communicating
...
Session types define protocols that processes must follow when communica...
Risk-limiting audits (RLAs) are expected to strengthen the public confid...
Session types are types for specifying protocols that processes must fol...
share