Login / Signup
Discourje: Runtime Verification of Communication Protocols in Clojure.
Ruben Hamers
Sung-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