Choreographic programming is an emerging programming paradigm for concurrent and
distributed systems, where developers write the communications that should be enacted and …

Choreographic programming is a paradigm where programmers write global descriptions of
distributed protocols, called choreographies, and correct implementations are automatically …

Choreographies provide a clear way to specify the intended communication behaviour of
concurrent and distributed systems. Previous theoretical work investigated the translation of …

Voting procedures are designed and implemented by people, for people, and with
significant human involvement. Thus, one should take into account the human factors in …

Abstract We present Modular Choreographies, a new choreographic programming
language that features modular functions. Modular Choreographies is aimed at simplicity: its …

Voting procedures are of utmost importance for society and are widely believed to be the
foundation of democracy. They appear in different forms, in various scenarios, and often …

Voting procedures are designed and implemented by people, for people, and with
significant human involvement. Thus, one should take into account the human factors in …