Partial ordering models for concurrency can be defined operationally