Interleaving based partial ordering semantics