An Operational Semantics of an Event-Driven System-Level Simulator.

Xiaoqing Peng Huibiao Zhu Jifeng He Naiyong Jin

Published in: SEW (2006)

Keyphrases

event driven
operational semantics
information delivery
formal semantics
publish subscribe
real time
agent programming
mental states
artificial intelligence
data model
relational databases
online learning
speech acts
event streams