Pages that link to "Item:Q5448661"
From MaRDI portal
The following pages link to Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets (Q5448661):
Displaying 5 items.
- A Rice-style theorem for parallel automata (Q1004287) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- (Q2766552) (← links)
- Robustness in Interaction Systems (Q3612362) (← links)
- Everything Is PSPACE-Complete in Interaction Systems (Q5505604) (← links)