
Choreographic programming simplifies reasoning about distributed systems by using a single global program called a choreography.


coremsg

choreographic-programming-with-multicast-and-multiply-located-values


Choreographic Programming With Multicast and Multiply Located Values


title_rewrite


The author introduces a new choreographic programming language, e휆small, with multiply located values to simplify distributed systems by eliminating redundant communication.


choreographic-programming-with-multicast-and-multiply-located-values-simplifying-distributed-systems


Choreographic Programming With Multicast and Multiply Located Values: Simplifying Distributed Systems
