Choreographic programming

In computer science, choreographic programming is a programming paradigm for distributed systems, where programs are written as compositions of interactions among multiple concurrent participants. Deadlock is a common error that can occur in distributed systems.