3 ms·Choreographic Programming: declarative descriptions of distributed systems [pdf]2 points by isaacimagine 4y ago