Pages that link to "Item:Q515576"
From MaRDI portal
The following pages link to Modeling concurrency with interval traces (Q515576):
Displaying 6 items.
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- Algebraic Structure of Step Traces and Interval Traces (Q4988962) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
