Preservation and reflection of bisimilarity via invertible steps
From MaRDI portal
Publication:6091202
DOI10.1007/978-3-031-30829-1_16OpenAlexW4366547797MaRDI QIDQ6091202
Ezra Schoen, Ruben Turkenburg, Jurriaan Rot, Clemens Kupke
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On a categorical framework for coalgebraic modal logic
- A coalgebraic perspective on linear weighted automata
- A general account of coinduction up-to
- Bialgebras for structural operational semantics: an introduction
- A hierarchy of probabilistic system types
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Universal coalgebra: A theory of systems
- Saturated Kripke structures as Vietoris coalgebras
- Iterated covariant powerset is not a monad
- Combining semilattices and semimodules
- The Vietoris monad and weak distributive laws
- Trace semantics via determinization
- Introduction to Coalgebra
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
- A coalgebraic view on decorated traces
- Relating coalgebraic notions of bisimulation
- Vietoris Bisimulations
- Testing Semantics: Connecting Processes and Process Logics
- Canonical modal logics and ultrafilter extensions
- Coinductive predicates and final sequences in a fibration
- Bisimulations for coalgebras on Stone spaces
- Generalizing determinization from automata to coalgebras
- A final coalgebra theorem
- Combining probabilistic and non-deterministic choice via weak distributive laws
- Steps and traces
- Metamathematics of modal logic
- Coalgebraic Modal Logic Beyond Sets
- Final Coalgebras from Corecursive Algebras.
- Algebra and Coalgebra in Computer Science
- Foundations of Software Science and Computational Structures
- Presenting Distributive Laws
This page was built for publication: Preservation and reflection of bisimilarity via invertible steps
