Choreographic programming simplifies reasoning about distributed systems by using a single global program called a choreography.
The author introduces a new choreographic programming language, e휆small, with multiply located values to simplify distributed systems by eliminating redundant communication.