Pages that link to "Item:Q4564086"
From MaRDI portal
The following pages link to The Algebra of Connectors—Structuring Interaction in BIP (Q4564086):
Displayed 19 items.
- Configuration logics: modeling architecture styles (Q347359) (← links)
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Building distributed controllers for systems with priorities (Q541297) (← links)
- A general framework for architecture composability (Q736458) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← 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 Notion of Glue Expressiveness for Component-Based Systems (Q3541041) (← links)
- Causal Semantics for the Algebra of Connectors (Q3602997) (← links)
- (Q5015356) (← links)
- (Q5028448) (← links)
- Feedback in Synchronous Relational Interfaces (Q5170752) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)
- Modelling Uncertainty in Architectures of Parametric Component-Based Systems (Q6072401) (← links)
- A formal algebraic approach for the quantitative modeling of connectors in architectures (Q6108727) (← links)