Special issue on structural operational semantics.
Rob J. van GlabbeekPeter D. MossesPublished in: Inf. Comput. (2009)
Keyphrases
- special issue
- operational semantics
- formal semantics
- ai edam
- ecml pkdd
- applied intelligence
- international journal
- model theoretic
- mental states
- data model
- denotational semantics
- special section
- activity diagrams
- speech acts
- machine learning
- agent programming
- black box
- life cycle
- artificial neural networks
- database systems
- artificial intelligence