Relating coalgebraic notions of bisimulation
From MaRDI portal
Recommendations
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- Bisimulation for probabilistic transition systems: a coalgebraic approach
- Transitivity and difunctionality of bisimulations
- A relation-algebraic theory of bisimulations
- Simulations in coalgebra
Cited in
(50)- Extensional quotient coalgebras
- A coalgebraic structure on bisexual populations
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- Revisiting causality, coalgebraically
- Isomorphism theorems for coalgebras
- Bisimulation and coinduction enhancements: a historical perspective
- Structural operational semantics for continuous state stochastic transition systems
- Relational presheaves, change of base and weak simulation
- Coinductive predicates and final sequences in a fibration
- Coinductive counting: bisimulation in enumerative combinatorics (extended abstract)
- Greatest bisimulations for binary methods
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- Relation lifting, a survey
- A single complete relational rule for coalgebraic refinement
- Similarity quotients as final coalgebras
- Behavioural equivalences for timed systems
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- scientific article; zbMATH DE number 6115908 (Why is no real title available?)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
- A relation-algebraic theory of bisimulations
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
- scientific article; zbMATH DE number 4104403 (Why is no real title available?)
- Relational properties of sequential composition of coalgebras
- scientific article; zbMATH DE number 1231637 (Why is no real title available?)
- Bisimulation for probabilistic transition systems: a coalgebraic approach
- Universal constructions for (co)relations: categories, monoidal categories, and props
- Coinductive predicates and final sequences in a fibration
- Equivalence co-relatios and co-congruences of co-algebras
- Structural operational semantics for non-deterministic processes with quantitative aspects
- The theory of traces for systems with nondeterminism, probability, and termination
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- Distribution bisimilarity via the power of convex algebras
- Representing continuous functions between greatest fixed points of indexed containers
- Relating apartness and bisimulation
- A general account of coinduction up-to
- Enhanced coalgebraic bisimulation
- Calculating Invariants as Coreflexive Bisimulations
- Transitivity and difunctionality of bisimulations
- Preservation and reflection of bisimilarity via invertible steps
- Proving behavioural apartness
- Amortized analysis via coalgebra
- Effect semantics for quantum process calculi
- Aczel-Mendler bisimulations in a regular category
- A definition scheme for quantitative bisimulation
- Simulations in coalgebra
- Powerset-like monads weakly distribute over themselves in toposes and compact Hausdorff spaces
- Terminal coalgebras and non-wellfounded sets in homotopy type theory
- Behavioural equivalences for coalgebras with unobservable moves
- A coalgebraic semantics for causality in Petri nets
This page was built for publication: Relating coalgebraic notions of bisimulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003316)
