Proving behavioural apartness
From MaRDI portal
Cites work
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- A final coalgebra theorem
- Apartness and distinguishing formulas in Hennessy-Milner logic
- Bisimulation for labelled Markov processes
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Bisimulation through probabilistic testing
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- Coalgebra learning via duality
- Coalgebraic logic
- Codensity lifting of monads and its dual
- Coinductive predicates and final sequences in a fibration
- Copower functors
- Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas
- Expressivity of coalgebraic modal logic: the limits and beyond
- Fibrational bisimulations and quantitative reasoning: extended version
- Hennessy-Milner theorems via Galois connections
- scientific article; zbMATH DE number 7204557 (Why is no real title available?)
- Kantorovich functors and characteristic logics for behavioural distances
- Monoid-labeled transition systems
- On the final sequence of a finitary set functor
- Precongruences and parametrized coinduction for logics for behavioral equivalence
- Probabilistic systems coalgebraically: a survey
- Programming and reasoning with guarded recursion for coinductive types
- Quantitative Hennessy-Milner theorems via notions of density
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
- Relating apartness and bisimulation
- Relating coalgebraic notions of bisimulation
- Structural induction and coinduction in a fibrational setting
This page was built for publication: Proving behavioural apartness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6666778)
