Login / Signup

Outline for an operational semantics of Promela.

V. NatarajanGerard J. Holzmann
Published in: The Spin Verification System (1996)
Keyphrases
  • operational semantics
  • formal semantics
  • model theoretic
  • data model
  • mental states
  • denotational semantics
  • activity diagrams
  • declarative semantics
  • cooperative
  • knowledge base
  • agent programming