A parallel game semantics for linear logic