Pages that link to "Item:Q608354"
From MaRDI portal
The following pages link to Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354):
Displaying 14 items.
- Domain-independent planning for services in uncertain and dynamic environments (Q286080) (← links)
- Configuration logics: modeling architecture styles (Q347359) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- A model of reconfiguration in communicating sequential processes (Q918723) (← links)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Static and dynamic property-preserving updates (Q2042718) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- Estimating costs of multi-component enterprise applications (Q2322308) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- The lifting model for reconfiguration (Q2498938) (← links)
- Connector rewriting with high-level replacement systems (Q2866320) (← links)
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting (Q3585055) (← links)
- On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH (Q4923505) (← links)
