scientific article; zbMATH DE number 7440178

MaRDI QIDQ5015356zbMATH OpenFDO

Authors Eduard Baranov, Simon Bliudze

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1608.03125, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2016.1

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

• Expressiveness modulo bisimilarity: a coalgebraic perspective
• On the expressiveness of Büchi arithmetic
• Recent Advances in Constraints
• Expressive power and succinctness of the positive calculus of binary relations
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Bi-intuitionistic implication structures
• The distributivity on bi-approximation semantics
• Expressivity Properties of Boolean BI Through Relational Models
• On the expressive power of schemes

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177780 (Why is no real title available?)
• A Notion of Glue Expressiveness for Component-Based Systems
• A basic algebra of stateless connectors
• A non-interleaving process calculus for multi-party synchronisation
• Composition for component-based modeling
• Connector algebras, Petri nets, and BIP
• Formal Methods for Components and Objects
• Musings on encodings and expressiveness
• Relating BIP and Reo
• SOS formats and meta-theory: 20 years after
• Semantics and expressiveness of ordered SOS
• The Algebra of Connectors—Structuring Interaction in BIP
• Towards a unified approach to encodability and separation results for process calculi
• Universal coalgebra: A theory of systems

Cited in

(8)

• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Extended connectors: structuring glue operators in BIP
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• Expressivity of some versions of APAL
• BISON instantiating the whitened swap-or-not construction
• Functional BIP: embedding connectors in functional programming languages
• A Notion of Glue Expressiveness for Component-Based Systems
• Parameterized systems in BIP: design and model checking

Describes a project that uses

Uses Software

• Ptolemy

This page was built for publication:

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