Pages that link to "Item:Q5890051"
From MaRDI portal
The following pages link to Compositional process semantics of Petri Boxes (Q5890051):
Displaying 7 items.
- Trapping mutual exclusion in the box calculus (Q672869) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- (Q3601872) (← links)
- Communication as unification in the Petri Box Calculus (Q5055902) (← links)
- High level expressions with their SOS semantics (Q6044124) (← links)
- Petri boxes and finite precedence (Q6162099) (← links)
- Improved implementations via a new structural equivalence on labeled nets (Q6487372) (← links)