Search papers, labs, and topics across Lattice.
Affiliation:
1
0
2
State transformers can simplify the mechanization of distributed programming, ensuring deadlock freedom while abstracting away local complexities.
