The following pages link to Moritz Martens (Q2441718):
Displaying 11 items.
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Ensuring Properties of Interaction Systems (Q3593075) (← links)
- Robustness in Interaction Systems (Q3612362) (← links)
- Bounded Combinatory Logic (Q4649550) (← links)
- (Q4993851) (← links)
- Intersection Type Matching with Subtyping (Q5300898) (← links)
- (Q5367047) (← links)
- (Q5369484) (← links)
- Staged Composition Synthesis (Q5410694) (← links)
- An Approach to Modelling and Verification of Component Based Systems (Q5448780) (← links)
- A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems (Q5448822) (← links)
