The following pages link to Step traces (Q5963403):
Displaying 9 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- On undecidability of propositional temporal logics on trace systems (Q1199555) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Order Structures for Subclasses of Generalised Traces (Q2799218) (← links)
- A generalization of traces (Q3357559) (← links)
- Algebraic Structure of Step Traces and Interval Traces (Q4988962) (← links)
- Steps and traces (Q5158368) (← links)
- Step traces (Q5963403) (← links)