Pages that link to "Item:Q1770365"
From MaRDI portal
The following pages link to A calculus for reasoning about software composition (Q1770365):
Displaying 8 items.
- Aeolus: a component model for the cloud (Q476172) (← links)
- An algebraic foundation for automatic feature-based program synthesis (Q988187) (← links)
- A calculus of program adaption and its applications (Q1581063) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- The Microcosm Principle and Compositionality of GSOS-Based Component Calculi (Q3090871) (← links)
- Transactional Reduction of Component Compositions (Q3612363) (← links)
- (Q4825706) (← links)
- Formal Methods for Components and Objects (Q5897127) (← links)