1 paper
Alexander Bohosian, Andrew K. Hirsch
Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying…