Operational semantics of ambient calculus.

Jing Zhang Ying Jin Degui Guo Lei Liu Chengzhi Jin

Published in: SOSE (2005)

Keyphrases

operational semantics
term rewriting
formal semantics
ambient intelligence
mental states
model theoretic
data model
denotational semantics
declarative semantics
artificial intelligence
case study
agent programming
activity diagrams