Extended connectors: structuring glue operators in BIP

MaRDI QIDQ4994120zbMATH OpenFDO

Authors Eduard Baranov, Simon Bliudze

Publication date 17 June 2021

Full work available at URL https://arxiv.org/abs/1310.4571, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2013.3

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Causal semantics for the algebra of connectors
• Causal Semantics for the Algebra of Connectors
• Symbolic implementation of connectors in BIP
• Connector algebras, Petri nets, and BIP
• scientific article; zbMATH DE number 7440178

Cited in

(3)

• Causal Semantics for the Algebra of Connectors
• The Algebra of Connectors—Structuring Interaction in BIP
• Causal semantics for the algebra of connectors

This page was built for publication: Extended connectors: structuring glue operators in BIP

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