Pages that link to "Item:Q579917"
From MaRDI portal
The following pages link to Predicative specifications for functional programs describing communicating networks (Q579917):
Displaying 5 items.
- Algebraic specification of concurrent systems (Q914405) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- Specification and design of shared resource arbitration (Q1186094) (← links)
- Algebraic and functional specification of an interactive serializable database interface (Q1193602) (← links)
- Algebraic specification of reactive systems (Q1575270) (← links)
