Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification.
A. W. RoscoePublished in: The Analysis of Concurrent Systems (1983)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- statistical model
- high level
- objective function
- modelling language
- experimental data
- markov chain
- management system
- similarity measure
- search space
- mathematical model
- search algorithm
- decision trees
- constraint programming
- formal model
- decomposition methods
- data sets