fr.inria.aoste.trace
.
This trace model supports traces that are partially ordered. All the event (occurrences) within a logical step are synchronous/simultaneous.
The partial order is given by the nextStep/previousStep association between two logical steps.