Login / Signup

Discourje: Runtime Verification of Communication Protocols in Clojure.

Ruben HamersSung-Shik Jongmans
Published in: TACAS (1) (2020)
Keyphrases
  • communication protocols
  • protocol specification
  • communication protocol
  • programming language
  • distinctive features
  • model checking
  • communication networks
  • transactional memory
  • database systems
  • concurrent systems