Tighter Reachability Criteria for Deadlock-Freedom Analysis.

Pedro R. G. Antonino Thomas Gibson-Robinson A. W. Roscoe

Published in: FM (2016)

Keyphrases

image analysis
quantitative analysis
case study
data mining
high level
trade off
evolutionary algorithm
upper bound
evaluation criteria