Pages that link to "Item:Q1675795"
From MaRDI portal
The following pages link to Towards a calculus for dynamic architectures (Q1675795):
Displaying 6 items.
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- An ``abstract process'' approach to algebraic dynamic architecture description (Q1779318) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- A calculus for dynamic reconfiguration with low priority linking (Q2848693) (← links)
- Theoretical Computer Science (Q5897367) (← links)