Pages that link to "Item:Q5962120"
From MaRDI portal
The following pages link to Causal semantics for the algebra of connectors (Q5962120):
Displaying 13 items.
- Configuration logics: modeling architecture styles (Q347359) (← links)
- A general framework for architecture composability (Q736458) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- Connector algebras for C/E and P/T nets' interactions (Q2848361) (← 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)
- A fully abstract semantics for causality in the π-calculus (Q4596625) (← links)
- From Hierarchical BIP to Petri Calculus (Q5170743) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
- Behaviour, Interaction and Dynamics (Q5403078) (← links)