The following pages link to A generalization of traces (Q3357559):
Displaying 9 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- The word problem for \(1\mathcal{LC}\) congruences is NP-hard. (Q1426452) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- Algebraic Structure of Step Traces and Interval Traces (Q4988962) (← links)
- Step traces (Q5963403) (← links)
- Interval traces with mutex relation (Q6535190) (← links)
