Deterministic concurrent systems