Login / Signup

An Operational Semantics for ZCCS.

Andy GallowayBill 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