Search papers, labs, and topics across Lattice.
University of Vermont
2
0
2
1
Choreographic programming can eliminate deadlock and errors in quantum distributed systems by ensuring type safety and coherent protocol design.
AsInst reveals how to model the timing and likelihood of asynchronous executions, transforming our approach to resource-aware choreography in distributed systems.
