Imagen de Portada

Aczel-Mendler Bisimulations in a Regular Category

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Dubut, Jeremy
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
por: de Frutos-Escrig, David, et al.
Publicado: (2024)

Branching Bisimulation Learning
por: Abate, Alessandro, et al.
Publicado: (2025)

Finitary Truly Concurrent Bisimulations
por: Wang, Yong
Publicado: (2026)

Lowerbounds for Bisimulation by Partition Refinement
por: Groote, Jan Friso, et al.
Publicado: (2022)

Bisimulation Learning
por: Abate, Alessandro, et al.
Publicado: (2024)

Better Bounded Bisimulation Contractions (Preprint)
por: Bolander, Thomas, et al.
Publicado: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
por: Spork, Timm, et al.
Publicado: (2024)

Relating Apartness and Branching Bisimulation Games
por: Rot, Jurriaan, et al.
Publicado: (2024)

Variants of Higher-Dimensional Automata
por: Bazille, Hugo, et al.
Publicado: (2026)

A Strong Bisimulation for a Classical Term Calculus
por: Bonelli, Eduardo, et al.
Publicado: (2021)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
por: Alrahman, Yehia Abd, et al.
Publicado: (2025)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
por: Suilen, Marnix, et al.
Publicado: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
por: Spork, Timm, et al.
Publicado: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
por: de Amorim, Pedro H. Azevedo, et al.
Publicado: (2026)

A Coalgebraic Model of Quantum Bisimulation
por: Ceragioli, Lorenzo, et al.
Publicado: (2025)

Bisimulation for Impure Simplicial Complexes
por: Bílková, Marta, et al.
Publicado: (2024)

Composing Codensity Bisimulations
por: Kori, Mayuko, et al.
Publicado: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
por: Zouari, Safa, et al.
Publicado: (2024)

Bisimulation for Feller-Dynkin Processes
por: Chen, Linan, et al.
Publicado: (2019)

Relational Dualities and Bisimulation
por: Kozicki, Piotr, et al.
Publicado: (2026)

Positive Hennessy-Milner Logic for Branching Bisimulation
por: Geuvers, Herman, et al.
Publicado: (2022)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Linear Arboreal Categories
por: Abramsky, Samson, et al.
Publicado: (2023)

On the Axioms of Arboreal Categories
por: Jakl, Tomáš, et al.
Publicado: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
por: Abramsky, Samson, et al.
Publicado: (2021)

On Categories of Nested Conditions
por: Rensink, Arend, et al.
Publicado: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

String Diagrams for Monoidal Categories, in Rocq
por: Pous, Damien
Publicado: (2026)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
por: Koul, Prajval, et al.
Publicado: (2025)

A Category-Theoretic Framework for Dependent Effect Systems
por: Kura, Satoshi, et al.
Publicado: (2026)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
por: Pollaci, Samuele
Publicado: (2025)

Proceedings Seventh International Conference on Applied Category Theory 2024
por: Johnson, Michael, et al.
Publicado: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
por: Pollaci, Samuele, et al.
Publicado: (2024)

Left-Linear Rewriting in Adhesive Categories
por: Baldan, Paolo, et al.
Publicado: (2024)

Univalent Double Categories
por: van der Weide, Niels, et al.
Publicado: (2023)

Regular Typed Unification
por: Barbosa, João, et al.
Publicado: (2024)

$ω$-Regular Energy Problems
por: Dziadek, Sven, et al.
Publicado: (2022)

Classical Distributive Restriction Categories
por: Cockett, Robin, et al.
Publicado: (2023)

Elgot Categories and Abacus Programs
por: Nester, Chad
Publicado: (2025)

Coinductive Streams in Monoidal Categories
por: Di Lavore, Elena, et al.
Publicado: (2022)