On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit.

Mojmír Kretínský Vojtech Rehák Jan Strejcek

Published in: INFINITY (2003)

Keyphrases

rewrite systems
finite state
term rewriting
knuth bendix
active rules
markov chain
theorem proving
bayesian networks
software development
model checking
markov decision processes