Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen