Structural operational semantics for weak bisimulations
From MaRDI portal
Publication:673123
DOI10.1016/0304-3975(94)00152-9zbMATH Open0873.68130OpenAlexW2041561080MaRDI QIDQ673123FDOQ673123
Authors: Bard Bloom 
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/1813/6147
Recommendations
- Structured operational semantics and bisimulation as a congruence
- Structural operational semantics and bounded nondeterminism
- A structural approach to operational semantics
- Formal Methods in Computer-Aided Design
- Bialgebras for structural operational semantics: an introduction
- Operational semantics and generalized weakest preconditions
- Structural Operational Semantics for Weighted Transition Systems
- Structuring operational semantics: simplification and computation
- Weak Bisimulation Approximants
- Towards weak bisimulation for coalgebras
Cites Work
- Structured operational semantics and bisimulation as a congruence
- A structural approach to operational semantics
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- Bisimulation can't be traced
- Calculi for synchrony and asynchrony
- A calculus of communicating systems
- Title not available (Why is that?)
- Branching time and abstraction in bisimulation semantics
- Observation equivalence as a testing equivalence
- A Theory of Communicating Sequential Processes
- Process Algebra
- A complete axiomatisation for observational congruence of finite-state behaviours
- Title not available (Why is that?)
- Transition system specifications with negative premises
- Turning SOS rules into equations
- Title not available (Why is that?)
- Concurrent testing of processes
Cited In (38)
- Probabilistic divide \& congruence: branching bisimilarity
- Modelling and analysing neural networks using a hybrid process algebra
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
- Theoretical Aspects of Computing – ICTAC 2005
- Operational semantics and generalized weakest preconditions
- Up-to techniques for branching bisimilarity
- Tile formats for located and mobile systems.
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
- A precongruence format for should testing preorder
- Modular bisimulation theory for computations and values
- SOS formats and meta-theory: 20 years after
- On cool congruence formats for weak bisimulations
- Finite axiom systems for testing preorder and De Simone process languages
- A conservative look at operational semantics with variable binding
- Structured operational semantics and bisimulation as a congruence
- Branching bisimilarity is an equivalence indeed!
- The expressiveness of CSP with priority
- Weak bisimulation as a congruence in MSOS
- Ordered SOS process languages for branching and eager bisimulations
- Bisimilarity of open terms.
- Rooted branching bisimulation as a congruence
- Towards a unified view of bisimulation: A comparative study
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Rule formats for compositional non-interference properties
- A format for semantic equivalence comparison
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
- Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
- Weak bisimilarity coalgebraically
- Title not available (Why is that?)
- Fair testing
- On constructibility and unconstructibility of LTS operators from other LTS operators
- Reusing artifact-centric business process models: a behavioral consistent specialization approach
- Ensuring liveness properties of distributed systems: open problems
- Notes on generative probabilistic bisimulation
- Language preorder as a precongruence
- Bisimulations of probabilistic Boolean networks
- A general account of coinduction up-to
- New Bisimulation Semantics for Distributed Systems
This page was built for publication: Structural operational semantics for weak bisimulations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673123)
