Preservation and reflection of bisimilarity via invertible steps
From MaRDI portal
Publication:6091202
Cites work
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 1418815 (Why is no real title available?)
- scientific article; zbMATH DE number 7471702 (Why is no real title available?)
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- scientific article; zbMATH DE number 3296290 (Why is no real title available?)
- A coalgebraic perspective on linear weighted automata
- A coalgebraic view on decorated traces
- A final coalgebra theorem
- A general account of coinduction up-to
- A hierarchy of probabilistic system types
- Algebra and Coalgebra in Computer Science
- Algebraic semantics for coalgebraic logics
- Bialgebras for structural operational semantics: an introduction
- Bisimulations for coalgebras on Stone spaces
- Canonical modal logics and ultrafilter extensions
- Categorical logic and type theory
- Coalgebraic modal logic beyond sets
- Coinductive predicates and final sequences in a fibration
- Combining probabilistic and non-deterministic choice via weak distributive laws
- Combining semilattices and semimodules
- Distribution bisimilarity via the power of convex algebras
- Final coalgebras from corecursive algebras
- Foundations of Software Science and Computational Structures
- Generalizing determinization from automata to coalgebras
- Introduction to coalgebra. Towards mathematics of states and observation
- Iterated covariant powerset is not a monad
- Metamathematics of modal logic
- Modal logic
- On a categorical framework for coalgebraic modal logic
- Presenting distributive laws
- Relating coalgebraic notions of bisimulation
- Saturated Kripke structures as Vietoris coalgebras
- Sound and complete axiomatizations of coalgebraic language equivalence
- Steps and traces
- Structural induction and coinduction in a fibrational setting
- Testing Semantics: Connecting Processes and Process Logics
- The Vietoris monad and weak distributive laws
- Trace semantics via determinization
- Universal coalgebra: A theory of systems
- Vietoris bisimulations
This page was built for publication: Preservation and reflection of bisimilarity via invertible steps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6091202)
