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