Pages that link to "Item:Q3541041"
From MaRDI portal
The following pages link to A Notion of Glue Expressiveness for Component-Based Systems (Q3541041):
Displayed 14 items.
- Building distributed controllers for systems with priorities (Q541297) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- A framework for automated distributed implementation of component-based models (Q1938379) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- Functional BIP: embedding connectors in functional programming languages (Q2403817) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Runtime Verification of Component-Based Systems (Q3095241) (← links)
- (Q5015356) (← links)
- Feedback in Synchronous Relational Interfaces (Q5170752) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
- Behaviour, Interaction and Dynamics (Q5403078) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)
- A formal algebraic approach for the quantitative modeling of connectors in architectures (Q6108727) (← links)