research
∙
05/25/2023
A Logical Interpretation of Asynchronous Multiparty Compatibility
Session types are types for specifying the protocols that communicating ...
share
research
∙
12/14/2021
Forwarders as Process Compatibility, Logically
Session types define protocols that processes must follow when communica...
research
∙
09/15/2021
Voter Perceptions of Trust in Risk-Limiting Audits
Risk-limiting audits (RLAs) are expected to strengthen the public confid...
research
∙
02/09/2021