Sign in
An Attempt to Reason about Shared-State Concurrency in the Style of VDM.
Ketil Stølen
Published in:
VDM Europe (1) (1991)
Keyphrases
</>
database systems
state space
data sets
information retrieval
multiresolution
machine learning
multiscale
concurrency control