Structural Operational Semantics for Stochastic Process Calculi.
Bartek KlinVladimiro SassonePublished in: FoSSaCS (2008)
Keyphrases
- stochastic process
- operational semantics
- stochastic processes
- markov chain
- stochastic model
- formal semantics
- probability measures
- model theoretic
- data model
- mental states
- activity diagrams
- diffusion process
- database
- autoregressive
- steady state
- first order logic
- least squares
- search space
- natural language
- image processing