The following pages link to (Q4023058):
Displayed 5 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Solving recursive net equations (Q4645215) (← links)
- Cyclic vector languages (Q6044106) (← links)