Pages that link to "Item:Q1274445"
From MaRDI portal
The following pages link to Operational and denotational semantics for the box algebra (Q1274445):
Displaying 6 items.
- Extensional Petri net (Q667521) (← links)
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- Solving recursive net equations (Q4645215) (← links)
