Pages that link to "Item:Q1274445"
From MaRDI portal
The following pages link to Operational and denotational semantics for the box algebra (Q1274445):
Displaying 10 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)
- (Q4232469) (← links)
- Solving recursive net equations (Q4645215) (← links)
- Boxes: A Symbolic Abstract Domain of Boxes (Q4930734) (← links)
- Compositional process semantics of Petri Boxes (Q5890051) (← links)
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Q6487391) (← links)