Structural operational semantics for weak bisimulations
From MaRDI portal
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
- scientific article; zbMATH DE number 4016181 (Why is no real title available?)
- scientific article; zbMATH DE number 3744561 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 177854 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- A complete axiomatisation for observational congruence of finite-state behaviours
- A structural approach to operational semantics
- Algebraic laws for nondeterminism and concurrency
- Bisimulation can't be traced
- Branching time and abstraction in bisimulation semantics
- Calculi for synchrony and asynchrony
- Concurrent testing of processes
- Observation equivalence as a testing equivalence
- Process Algebra
- Structured operational semantics and bisimulation as a congruence
- Transition system specifications with negative premises
- Turning SOS rules into equations
Cited in
(38)- Bisimulations of probabilistic Boolean networks
- New Bisimulation Semantics for Distributed Systems
- Probabilistic divide \& congruence: branching bisimilarity
- Modelling and analysing neural networks using a hybrid process algebra
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
- Operational semantics and generalized weakest preconditions
- Theoretical Aspects of Computing – ICTAC 2005
- Tile formats for located and mobile systems.
- Up-to techniques for branching bisimilarity
- Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
- A precongruence format for should testing preorder
- On cool congruence formats for weak bisimulations
- SOS formats and meta-theory: 20 years after
- Finite axiom systems for testing preorder and De Simone process languages
- Modular bisimulation theory for computations and values
- 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
- Ordered SOS process languages for branching and eager bisimulations
- Bisimilarity of open terms.
- Weak bisimulation as a congruence in MSOS
- 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
- Fair testing
- scientific article; zbMATH DE number 6828930 (Why is no real title available?)
- 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
- Language preorder as a precongruence
- Notes on generative probabilistic bisimulation
- A general account of coinduction up-to
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)
