Pages that link to "Item:Q2441719"
From MaRDI portal
The following pages link to Deadlock-freedom in component systems with architectural constraints (Q2441719):
Displaying 6 items.
- Failure-free coordinators synthesis for component-based architectures (Q931099) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- (Q4963909) (← links)
- Separating Lock-Freedom from Wait-Freedom (Q5197665) (← links)
- Manifest deadlock-freedom for shared session types (Q6070799) (← links)