Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
University of Delaware
1
0
1
21
Transforming message-passing programs into parameterized sequential forms unlocks new verification capabilities for concurrent systems.