Concurrent IMP.

Published in: Arch. Formal Proofs (2015)

Keyphrases

mutual exclusion
case study
concurrent programs
data mining
three dimensional
database
databases
information technology
image retrieval
artificial neural networks
search space
hidden markov models
long running
concurrent programming
hybrid automata