Login / Signup

Timed Term Rewrite Systems.

Jérémie BlancWendelin Serwe
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • term rewrite systems
  • petri net
  • rewrite rules
  • timed automata
  • discrete event
  • finite state machines
  • database