Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
Huibiao ZhuJifeng HeJonathan P. BowenPublished in: SEW (2007)
Keyphrases
- operational semantics
- model theoretic
- formal semantics
- declarative semantics
- denotational semantics
- mental states
- data model
- agent programming
- petri net
- activity diagrams
- speech acts
- logical language
- databases
- probability distribution
- algebraic structure
- conditional probabilities
- online learning
- programming language