Login / Signup

Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement.

Xiuli SunWenyin ZhangJinzhao Wu
Published in: J. Comput. Sci. Technol. (2004)
Keyphrases
  • operational semantics
  • real time
  • concurrent processes
  • artificial intelligence
  • formal semantics
  • model theoretic
  • knowledge base
  • mental states