The following pages link to (Q3527017):
Displaying 9 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Approximations of arbitrary relations by partial orders (Q1644912) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- On Interval Process Semantics of Petri Nets with Inhibitor Arcs (Q2941144) (← links)
- Step traces (Q5963403) (← links)
- Interval traces with mutex relation (Q6535190) (← links)
