A Fully-Abstract Model for the pi-Calculus (Extended Abstract).
Marcelo P. FioreEugenio MoggiDavide SangiorgiPublished in: LICS (1996)
Keyphrases
- extended abstract
- computational model
- mathematical model
- formal model
- experimental data
- statistical model
- high level
- cost function
- probabilistic model
- theoretical framework
- real time
- simulation model
- computational models
- process model
- data sets
- database
- probability distribution
- prior knowledge
- e learning
- machine learning