Preservation and reflection of bisimilarity via invertible steps
From MaRDI portal
Publication:6091202
DOI10.1007/978-3-031-30829-1_16OpenAlexW4366547797MaRDI QIDQ6091202FDOQ6091202
Authors: Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen 
Publication date: 24 November 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-30829-1_16
Cites Work
- Modal logic
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Universal coalgebra: A theory of systems
- Sound and complete axiomatizations of coalgebraic language equivalence
- Relating coalgebraic notions of bisimulation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coalgebraic modal logic beyond sets
- Bialgebras for structural operational semantics: an introduction
- A final coalgebra theorem
- On a categorical framework for coalgebraic modal logic
- Algebraic semantics for coalgebraic logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Canonical modal logics and ultrafilter extensions
- Foundations of Software Science and Computational Structures
- Trace semantics via determinization
- A coalgebraic perspective on linear weighted automata
- Title not available (Why is that?)
- Presenting distributive laws
- Vietoris bisimulations
- A hierarchy of probabilistic system types
- A general account of coinduction up-to
- Title not available (Why is that?)
- Generalizing determinization from automata to coalgebras
- Testing Semantics: Connecting Processes and Process Logics
- Introduction to coalgebra. Towards mathematics of states and observation
- Metamathematics of modal logic
- Title not available (Why is that?)
- Final coalgebras from corecursive algebras
- Bisimulations for coalgebras on Stone spaces
- Saturated Kripke structures as Vietoris coalgebras
- Iterated covariant powerset is not a monad
- Combining semilattices and semimodules
- The Vietoris monad and weak distributive laws
- Coinductive predicates and final sequences in a fibration
- Title not available (Why is that?)
- Combining probabilistic and non-deterministic choice via weak distributive laws
- Algebra and Coalgebra in Computer Science
- A coalgebraic view on decorated traces
- Distribution bisimilarity via the power of convex algebras
- Steps and traces
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)
