Choreographic Programming

Choreographic programming is a programming paradigm where a single program defines how a set of processes should interact.

Terms

A list of terms related to choreographic programming.

Role

A role denotes a single process executing one part of the choreography.

Knowledge of Choice

Knowledge of choice is a problem that arises when one role computes a conditional (eg. an if statement), and another role needs to act differently based on the choice.