Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
Ruben Hamers,S. Jongmans
2020 · DOI: 10.1007/978-3-030-61362-4_28
Leveraging Applications of Formal Methods · 5 Citations
TLDR
A tour of the current state of Discourje is given, intended to serve both as a general overview for readers who are unfamiliar with previous work on Discourje, and as an introduction to new features for readers who are familiar.