Modeling Interval Order Structures with Partially Commutative Monoids

Interval order structures are useful tools to model abstract concurrent histories, i.e. sets of equivalent system runs, when system runs are modeled with interval orders. The paper shows how interval order structures can be modeled by partially commutative monoids, called interval traces.