Automatically Generating CSP Models for Communicating Haskell Processes.
Neil C. C. BrownPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
- automatically generating
- stochastic processes
- automatically generated
- experimental data
- learning algorithm
- communication channels
- computational models
- statistical models
- constraint satisfaction problems
- special case
- machine learning algorithms
- model selection
- general purpose
- constraint satisfaction
- probabilistic model
- mathematical models
- case study
- social networks
- neural network