Recommendations
Cites work
- A formal axiomatization for alphabet reasoning with parametrized processes
- Algebraic laws for nondeterminism and concurrency
- An O(m n) algorithm for computing stuttering equivalence and branching bisimulation
- An introduction to (co)algebra and (co)induction
- Behavioural equivalences for coalgebras with unobservable moves
- Branching bisimilarity is an equivalence indeed!
- Branching time and abstraction in bisimulation semantics
- Categorical logic and type theory
- Coalgebraic weak bisimulation for action-type systems
- Constructivism in mathematics. An introduction. Volume II
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 177845 (Why is no real title available?)
- scientific article; zbMATH DE number 2085168 (Why is no real title available?)
- On path-based coalgebras and weak notions of bisimulation
- Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
- Rooted branching bisimulation as a congruence
- Structural induction and coinduction in a fibrational setting
- Testing Software Design Modeled by Finite-State Machines
- Three logics for branching bisimulation
- Universal coalgebra: A theory of systems
- Weak bisimulation for coalgebras over order enriched monads
Cited in
(14)- Bisimulation as a logical relation
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
- Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
- State identification and verification with satisfaction
- Apartness and distinguishing formulas in Hennessy-Milner logic
- A new approach for active automata learning based on apartness
- Process equivalence problems as energy games
- Proving behavioural apartness
- Positive Hennessy-Milner logic for branching bisimulation
- A new perspective on conformance testing based on apartness
- Relating apartness and branching bisimulation games
- Minimal depth distinguishing formulas without until for branching bisimulation
- It's all a game. Apartness and bisimilarity
This page was built for publication: Relating apartness and bisimulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5155676)
