Pages that link to "Item:Q2804174"
From MaRDI portal
The following pages link to Characterising concurrent histories (Q2804174):
Displaying 8 items.
- Cohesion of object histories (Q1114448) (← links)
- Fundamentals of modelling concurrency using discrete relational structures (Q1369226) (← links)
- Tools for constructing chronologies. Crossing disciplinary boundaries (Q1420348) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- Step traces (Q5963403) (← links)
- Interval traces with mutex relation (Q6535190) (← links)