Copertina

Aczel-Mendler Bisimulations in a Regular Category

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Dubut, Jeremy
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Branching Bisimulation Learning
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

Finitary Truly Concurrent Bisimulations
di: Wang, Yong
Pubblicazione: (2026)

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

Bisimulation Learning
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

Better Bounded Bisimulation Contractions (Preprint)
di: Bolander, Thomas, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

Composing Codensity Bisimulations
di: Kori, Mayuko, et al.
Pubblicazione: (2024)

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

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

Relational Dualities and Bisimulation
di: Kozicki, Piotr, et al.
Pubblicazione: (2026)

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

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

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

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

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

On Categories of Nested Conditions
di: Rensink, Arend, et al.
Pubblicazione: (2024)

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

String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)

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

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

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

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

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

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

Univalent Double Categories
di: van der Weide, Niels, et al.
Pubblicazione: (2023)

Regular Typed Unification
di: Barbosa, João, et al.
Pubblicazione: (2024)

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

Classical Distributive Restriction Categories
di: Cockett, Robin, et al.
Pubblicazione: (2023)

Elgot Categories and Abacus Programs
di: Nester, Chad
Pubblicazione: (2025)

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