A Notion of Glue Expressiveness for Component-Based Systems
From MaRDI portal
Publication:3541041
DOI10.1007/978-3-540-85361-9_39zbMath1160.68458MaRDI QIDQ3541041
Publication date: 25 November 2008
Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_39
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Feedback in Synchronous Relational Interfaces, A Theory Agenda for Component-Based Design, Behaviour, Interaction and Dynamics, Causal semantics for the algebra of connectors, A formal algebraic approach for the quantitative modeling of connectors in architectures, Building distributed controllers for systems with priorities, Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework, Event algebra for transition systems composition application to timed automata, A framework for automated distributed implementation of component-based models, Expressiveness of component-based frameworks: a study of the expressiveness of BIP, Functional BIP: embedding connectors in functional programming languages, A modular formal semantics for Ptolemy, Runtime Verification of Component-Based Systems
Cites Work