MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values

Mako Bates, Syed Jafri, Joseph P. Near

Choreographic programming is a concurrent paradigm in which a single global program called a choreography describes behavior across an entire distributed network of participants. C…