Search papers, labs, and topics across Lattice.
1
0
3
Stronger equality laws for concurrent programming could revolutionize how we reason about rely/guarantee systems.
