An Operational Semantics for S-Net.

Frank Penczek Clemens Grelck Sven-Bodo Scholz

Published in: PARCO (2009)

Keyphrases

operational semantics
formal semantics
mental states
data model
model theoretic
declarative semantics
database
query language
speech acts
activity diagrams
information extraction