The following pages link to (Q4296304):
Displaying 10 items.
- Axiomatizing CCS, nets and processes (Q1314538) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP (Q3561227) (← links)
- (Q3795192) (← links)
- (Q4364400) (← links)
- Axiomatizing Petri net concatenable processes (Q5055915) (← links)
- An algebraic semantics for hierarchical P/T nets (Q5096359) (← links)