Pages that link to "Item:Q651308"
From MaRDI portal
The following pages link to Modelling concurrency with comtraces and generalized comtraces (Q651308):
Displaying 16 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- Multitraces, hypertraces and partial order semantics (Q1203122) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- Order Structures for Subclasses of Generalised Traces (Q2799218) (← links)
- A generalization of traces (Q3357559) (← links)
- (Q4709338) (← links)
- Algebraic Structure of Step Traces and Interval Traces (Q4988962) (← links)
- Connections between a concrete and an abstract model of concurrent systems (Q5887511) (← links)
- Algebraic structure of combined traces (Q5891135) (← links)
- Step traces (Q5963403) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)
- Interval traces with mutex relation (Q6535190) (← links)