Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)

Sung-Shik Jongmans

Multiparty session typing (MPST) is a formal method to make concurrent programming simpler. The idea is to use type checking to automatically prove safety (protocol compliance) and…