Adding Concurrency to a Sequential Refinement Tower.

Gerhard Schellhorn Stefan Bodenmüller Jörg Pfähler Wolfgang Reif

Published in: ABZ (2020)

Keyphrases

concurrency control
database systems
data structure
database
neural network
real time
machine learning
social networks
decision making
website
multi agent
data flow
refinement process