The following pages link to Christoph Minnameier (Q848950):
Displaying 8 items.
- Resource bounded frequency computations with three errors (Q848951) (← links)
- Local and global deadlock-detection in component-based systems are NP-hard (Q2379953) (← links)
- Resource Bounded Frequency Computations with Three Errors (Q3511315) (← links)
- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa (Q3525140) (← 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)
- A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems (Q5448822) (← links)
- Everything Is PSPACE-Complete in Interaction Systems (Q5505604) (← links)
