Pages that link to "Item:Q5962120"
From MaRDI portal
The following pages link to Causal semantics for the algebra of connectors (Q5962120):
Displaying 10 items.
- Configuration logics: modeling architecture styles (Q347359) (← links)
- A general framework for architecture composability (Q736458) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- Data optimizations for constraint automata (Q2974782) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification (Q3614835) (← links)
- From Hierarchical BIP to Petri Calculus (Q5170743) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
- Behaviour, Interaction and Dynamics (Q5403078) (← links)
