Proving Progress Properties of non Terminating Programs under Fairness Assumptions.

Ricardo Peña-Marí Luis A. Galán

Published in: Euro-Par, Vol. I (1996)

Keyphrases

artificial intelligence
computer vision
website
neural network
game theory
structural properties
automatic programming