Formalism concurr non-deterministic s by Huis Veld