research
∙
02/04/2019
A Session Type System for Asynchronous Unreliable Broadcast Communication
Session types are formal specifications of communication protocols, allo...
research
∙
10/17/2017