nondeterministic process - German English Dictionary