A Timed Model for Communicating Sequential Processes.
George M. ReedA. W. RoscoePublished in: Theor. Comput. Sci. (1988)
Keyphrases
- probabilistic model
- formal model
- computational model
- database
- simulation model
- process model
- mathematical model
- data sets
- object model
- probability distribution
- experimental data
- finite state machines
- network model
- statistical model
- theoretical framework
- parameter estimation
- evolutionary algorithm
- e learning
- neural network