Causal Semantics for the Algebra of Connectors

DOI10.1007/978-3-540-92188-2_8MaRDI QIDQ3602997zbMATHOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(6)

• Connector algebras for C/E and P/T nets' interactions
• A model of context-dependent component connectors
• Causal semantics for the algebra of connectors
• Dynamic connectors for concurrency
• A fully abstract semantics for causality in the π-calculus
• Extended connectors: structuring glue operators in BIP

Describes a project that uses

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)