Choreographic Programming
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United StatesCP 2026 with PLDI 2026Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations. CP originated primarily in the context of process calculi, with preliminary work done to establish its foundati ... |
Mon 24 - Fri 28 June 2024 Copenhagen, DenmarkCP 2024 with PLDI 2024Choreographies are coordination plans for concurrent and distributed systems. A choreography defines the roles of the involved participants and how they are supposed to work together. In the emerging paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations. CP originated primarily in the context of process calculi, with preliminary work done to es ... |
