Login / Signup

An operational semantics of real time design language RT-CDL.

Leo Yuhsiang LiuR. K. Shyamasundar
Published in: IWSSD (1989)
Keyphrases
  • operational semantics
  • real time
  • model theoretic
  • mental states
  • formal semantics
  • cooperative
  • programming language
  • design process
  • modeling language
  • database systems
  • mobile robot
  • online learning
  • agent programming