In computer science, choreographic programming is a programming paradigm where programs are compositions of interactions among multiple concurrent participants.