Indeterminacy in concurrent computation