Search papers, labs, and topics across Lattice.
1
0
2
The top-down approach to multiparty session types is just as powerful as the bottom-up method, challenging long-held assumptions about typability in distributed systems.
