Pages that link to "Item:Q1602555"
From MaRDI portal
The following pages link to Parallel composition and decomposition of specifications (Q1602555):
Displaying 6 items.
- Specification completion for IOCO (Q763529) (← links)
- On the mathematics of sequential decompositions (Q1261494) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- The weakest specifunction (Q2484065) (← links)
- Composition of default specifications (Q2761751) (← links)
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs (Q2842817) (← links)