scientific article; zbMATH DE number 7440178

zbMath1477.68175arXiv1608.03125MaRDI QIDQ5015356

Simon Bliudze, Eduard Baranov

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1608.03125

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (2)

Functional BIP: embedding connectors in functional programming languages ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP

Uses Software

• Ptolemy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A basic algebra of stateless connectors
• SOS formats and meta-theory: 20 years after
• Semantics and expressiveness of ordered SOS
• Universal coalgebra: A theory of systems
• Composition for component-based modeling
• Towards a unified approach to encodability and separation results for process calculi
• Connector Algebras, Petri Nets, and BIP
• A Notion of Glue Expressiveness for Component-Based Systems
• The Algebra of Connectors—Structuring Interaction in BIP
• Formal Methods for Components and Objects

This page was built for publication: