Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
University of Oxford
1
0
2
Asynchronous multiparty session types finally get a denotational semantics, unlocking formal verification of message reordering and other communication optimizations.