Causal Semantics for the Algebra of Connectors

DOI10.1007/978-3-540-92188-2_8zbMATH Open1209.68123OpenAlexW1544921803MaRDI QIDQ3602997FDOQ3602997

Simon Bliudze, Joseph Sifakis

Publication date: 12 February 2009

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92188-2_8

Recommendations

• Causal semantics for the algebra of connectors
• Extended connectors: structuring glue operators in BIP
• Connector algebras, Petri nets, and BIP
• Connector algebras for C/E and P/T nets' interactions
• A basic algebra of stateless connectors

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites Work

• Reo: a channel-based coordination model for component composition
• A basic algebra of stateless connectors
• Connector Algebras, Petri Nets, and BIP
• The Algebra of Connectors—Structuring Interaction in BIP
• Categories for Software Engineering
• Abstract behavior types: a foundation model for components and their composition
• Argos: an automaton-based synchronous language
• Synchronous structures

Cited In (4)

• Dynamic connectors for concurrency
• A model of context-dependent component connectors
• A fully abstract semantics for causality in the π-calculus
• Connector algebras for C/E and P/T nets' interactions

Uses Software

• Reo
• Ptolemy
• Metropolis

This page was built for publication: Causal Semantics for the Algebra of Connectors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602997)