The Algebra of Connectors—Structuring Interaction in BIP
From MaRDI portal
Publication:4564086
DOI10.1109/TC.2008.26zbMath1390.68031OpenAlexW2098346263MaRDI QIDQ4564086
Publication date: 12 June 2018
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.2008.26
Related Items
Theory and methodology of assumption/commitment based system interface specification and architectural contracts, Configuration logics: modeling architecture styles, Functional BIP: embedding connectors in functional programming languages, SMT-based generation of symbolic automata, Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation, Modelling Uncertainty in Architectures of Parametric Component-Based Systems, A formal algebraic approach for the quantitative modeling of connectors in architectures, Unnamed Item, Expressiveness of component-based frameworks: a study of the expressiveness of BIP, Unnamed Item, A Notion of Glue Expressiveness for Component-Based Systems, A ground-complete axiomatization of stateless bisimilarity over Linda, Conditions of contracts for separating responsibilities in heterogeneous systems, Feedback in Synchronous Relational Interfaces, Building distributed controllers for systems with priorities, Causal Semantics for the Algebra of Connectors, Causal semantics for the algebra of connectors, A general framework for architecture composability, A Theory Agenda for Component-Based Design