Login / Signup
On the Operational Semantics of Timed Rewrite Systems.
Jérémie Blanc
Rachid 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