Go backward to Gaussian Elimination
Go up to Top
Go forward to Program Structuring

Correctness

For efficient implementation, non-determinism has to be restricted (explicit ordering, mapping of processes, etc)


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity3.tex,v 1.1 1996/04/19 12:29:22 schreine Exp schreine

Prev Up Next