scientific article; zbMATH DE number 7440178
From MaRDI portal
Publication:5015356
zbMATH Open1477.68175arXiv1608.03125MaRDI QIDQ5015356FDOQ5015356
Authors: Eduard Baranov, Simon Bliudze 
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1608.03125
Title of this publication is not available (Why is that?)
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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Universal coalgebra: A theory of systems
- Title not available (Why is that?)
- SOS formats and meta-theory: 20 years after
- A basic algebra of stateless connectors
- Connector algebras, Petri nets, and BIP
- The Algebra of Connectors—Structuring Interaction in BIP
- Relating BIP and Reo
- Towards a unified approach to encodability and separation results for process calculi
- Semantics and expressiveness of ordered SOS
- Composition for component-based modeling
- A Notion of Glue Expressiveness for Component-Based Systems
- Musings on encodings and expressiveness
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- A non-interleaving process calculus for multi-party synchronisation
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
Uses Software
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)
