Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.

Marc-Michel Corsini Alain Griffault Antoine Rauzy

Published in: LPAR (1993)

Keyphrases

mutual exclusion
computational complexity
model checking
orders of magnitude
computationally efficient
general purpose
long distance
theoretical analysis
worst case
significant improvement
data structure
learning algorithm
neural network
data sets
data processing
decision trees
combinatorial optimization