Pages that link to "Item:Q5055913"
From MaRDI portal
The following pages link to On the synchronization of semi-traces (Q5055913):
Displaying 8 items.
- On confluent semi-commutations: Decidability and complexity results (Q1322470) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)
- Structured Derivation of Semi-Synchronous Algorithms (Q3095340) (← links)
- On half-synchronized systems (Q4591004) (← links)
- On the synchronization of traces (Q4733415) (← links)
- (Q5309400) (← links)
- Step traces (Q5963403) (← links)