Proving Liveness with Fairness Using Rewriting.

Adam Koprowski Hans Zantema

Published in: FroCoS (2005)

Keyphrases

rewriting rules
rewrite rules
resource allocation
game theory
optimal solution
conjunctive queries
rewriting systems
query rewriting
datalog programs
termination analysis
presburger arithmetic
data sets
response time
queries using views