nondeterministic process - Spanisch Englisch Wörterbuch