Concurrency specification using Event-based Specification Chart.

Dumitru Ciorba Victor Besliu

Published in: Comput. Sci. J. Moldova (2011)

Keyphrases

high level
real time
data mining
case study
concurrency control
data sets
multi agent
specification language
provably correct
temporal ordering