The following pages link to A generalization of traces (Q3357559):
Displaying 23 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- On the concatenation of infinite traces (Q685439) (← links)
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- Characterizations of the trace (Q1112920) (← links)
- The word problem for \(1\mathcal{LC}\) congruences is NP-hard. (Q1426452) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Traces without maximal chains (Q2380427) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- An extended trace identity and applications (Q2476932) (← links)
- The special trace property (Q2785925) (← links)
- Order Structures for Subclasses of Generalised Traces (Q2799218) (← links)
- Generalized notion of a trace for von Neumann algebras (Q2880500) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- Traceable Sets (Q3163891) (← links)
- (Q4380157) (← links)
- (Q4834949) (← links)
- (Q4854998) (← links)
- (Q4895903) (← links)
- Algebraic Structure of Step Traces and Interval Traces (Q4988962) (← links)
- Parallelism of stable traces (Q5198033) (← links)
- Step traces (Q5963403) (← links)
- Interval traces with mutex relation (Q6535190) (← links)
