Pages that link to "Item:Q5191537"
From MaRDI portal
The following pages link to Component-Based Construction of Deadlock-Free Systems (Q5191537):
Displaying 6 items.
- Local and global deadlock-detection in component-based systems are NP-hard (Q2379953) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Robustness in Interaction Systems (Q3612362) (← links)
- Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems (Q3646263) (← links)
- Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets (Q5448661) (← links)
- Everything Is PSPACE-Complete in Interaction Systems (Q5505604) (← links)
