Pages that link to "Item:Q1960536"
From MaRDI portal
The following pages link to A specification structure for deadlock-freedom of synchronous processes (Q1960536):
Displaying 5 items.
- Constructing process categories (Q1391863) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Formal deadlock elimination in an object oriented conceptual schema (Q3122597) (← links)
- (Q4963909) (← links)