Causal Semantics for the Algebra of Connectors

DOI10.1007/978-3-540-92188-2_8zbMath1209.68123OpenAlexW1544921803MaRDI QIDQ3602997

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

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

Related Items (1)

A model of context-dependent component connectors

Uses Software

• Reo
• Ptolemy
• Metropolis

Cites Work

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

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