Pages that link to "Item:Q5313011"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5313011):
Displaying 10 items.
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition (Q615893) (← links)
- Abstract behavior types: a foundation model for components and their composition (Q1776573) (← links)
- A behavioral type system and its application in Ptolemy II (Q1882802) (← links)
- Structural reconfiguration of systems under behavioral adaptation (Q1951614) (← links)
- Component adaptation through flexible subservicing (Q2432760) (← links)
- On the semantics of software adaptation (Q2495553) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
- Coordination Models and Languages (Q5717743) (← links)