A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

Pedro R. G. Antonino Augusto Sampaio Jim Woodcock

Published in: FM (2014)

Keyphrases

statistical analysis
image analysis
social networks
real time
data sets
decision making
website
computational complexity
data analysis
special case
process model
computational models