Interval-order partially ordered multisets with interfaces (ipomsets) provide a versatile model for concurrent systems, while ST-automata generate step sequences.
