UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Progress Properties Acima: Aula 18 - O Anterior: Aula 18 - O

Visited nodes invariant

The following predicate is invariant: