Analysis of specifications of multiparty sessions with dcj-lint. - Erik Horlings; Sung-Shik Jongmans (ESEC/SIGSOFT FSE, 2021)

The Discourje project: run-time verification of communication protocols in Clojure. - Ruben Hamers; Erik Horlings; Sung-Shik Jongmans (Int. J. Softw. Tools Technol. Transf., 2022)