Login / Signup

On the Operational Semantics of Timed Rewrite Systems.

Jérémie BlancRachid Echahed
Published in: TIME (2002)
Keyphrases
  • operational semantics
  • term rewriting
  • rewrite systems
  • petri net
  • knuth bendix
  • formal semantics
  • mental states
  • data model
  • databases
  • object oriented databases