We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values

Mako Bates, Joseph P. Near

Concurrent distributed systems are notoriously difficult to construct and reason about. Choreographic programming is a recent paradigm that describes a distributed system in a sing…