Sign in
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.
Myrthe S. C. Spronck
Bas Luttik
Published in:
CONCUR (2023)
Keyphrases
</>
parameter estimation
database
real time
software engineering
experimental data
data sets
neural network
machine learning
multi agent
probabilistic model
recognition rate
process model
statistical model