Fair Termination Revisited-With Delay.

Krzysztof R. Apt Amir Pnueli Jonathan Stavi

Published in: Theor. Comput. Sci. (1984)

Keyphrases

data mining
artificial intelligence
term rewriting
decision making
web services
response time
rewrite systems