Login / Signup
An Operational Semantics for ZCCS.
Andy Galloway
Bill Stoddart
Published in:
ICFEM (1997)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
denotational semantics
data model
mental states
agent programming
dynamic environments
activity diagrams
databases
knowledge base
cooperative
object oriented