collaborators

1 paper

cs.PL2026

Mechanizing Choreographic Programs and Hoare Logic with State Transformers

Timon Böhler, Simon Daniel, David Richter +2

Choreographic programming is a programming model for developing distributed applications where an entire communication protocol is written as a single program, which a compiler the…