Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project.

Ruben Hamers Sung-Shik Jongmans

Published in: ISoLA (1) (2020)

Keyphrases

case study
programming language
multi channel
distinctive features
traveling salesman problem
human actions
project management
situation calculus
communication channels
reasoning about actions
traveling salesman