Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores.

Franco Cicirelli Libero Nigro

Published in: FedCSIS (2015)

Keyphrases

mutual exclusion
learning algorithm
orders of magnitude
bayesian networks
significant improvement
genetic algorithm
data structure
computational cost
model checking