A Branching Time Model of CSP.
Rob J. van GlabbeekPublished in: Concurrency, Security, and Puzzles (2017)
Keyphrases
- statistical model
- prediction model
- experimental data
- mathematical model
- management system
- computational model
- neural network model
- prior knowledge
- high level
- probability distribution
- parameter estimation
- neural network
- cost function
- model checking
- hierarchical structure
- social networks
- qualitative and quantitative
- simulation model
- learning algorithm