:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Dubut, Jeremy
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2303.04442
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
von: de Frutos-Escrig, David, et al.
Veröffentlicht: (2024)

Variants of Higher-Dimensional Automata
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Branching Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

Lowerbounds for Bisimulation by Partition Refinement
von: Groote, Jan Friso, et al.
Veröffentlicht: (2022)

Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Better Bounded Bisimulation Contractions (Preprint)
von: Bolander, Thomas, et al.
Veröffentlicht: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
von: Spork, Timm, et al.
Veröffentlicht: (2024)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

A Strong Bisimulation for a Classical Term Calculus
von: Bonelli, Eduardo, et al.
Veröffentlicht: (2021)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
von: Alrahman, Yehia Abd, et al.
Veröffentlicht: (2025)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
von: Suilen, Marnix, et al.
Veröffentlicht: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
von: Spork, Timm, et al.
Veröffentlicht: (2025)

Bisimulation for Impure Simplicial Complexes
von: Bílková, Marta, et al.
Veröffentlicht: (2024)

A Coalgebraic Model of Quantum Bisimulation
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
von: de Amorim, Pedro H. Azevedo, et al.
Veröffentlicht: (2026)

Composing Codensity Bisimulations
von: Kori, Mayuko, et al.
Veröffentlicht: (2024)

Relational Dualities and Bisimulation
von: Kozicki, Piotr, et al.
Veröffentlicht: (2026)

Bisimulations and Logics for Higher-Dimensional Automata
von: Zouari, Safa, et al.
Veröffentlicht: (2024)

Bisimulation for Feller-Dynkin Processes
von: Chen, Linan, et al.
Veröffentlicht: (2019)

Positive Hennessy-Milner Logic for Branching Bisimulation
von: Geuvers, Herman, et al.
Veröffentlicht: (2022)

Linear Arboreal Categories
von: Abramsky, Samson, et al.
Veröffentlicht: (2023)

On the Axioms of Arboreal Categories
von: Jakl, Tomáš, et al.
Veröffentlicht: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

On Categories of Nested Conditions
von: Rensink, Arend, et al.
Veröffentlicht: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

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

String Diagrams for Monoidal Categories, in Rocq
von: Pous, Damien
Veröffentlicht: (2026)

Left-Linear Rewriting in Adhesive Categories
von: Baldan, Paolo, et al.
Veröffentlicht: (2024)

A Category-Theoretic Framework for Dependent Effect Systems
von: Kura, Satoshi, et al.
Veröffentlicht: (2026)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
von: Pollaci, Samuele
Veröffentlicht: (2025)

Univalent Double Categories
von: van der Weide, Niels, et al.
Veröffentlicht: (2023)

Proceedings Seventh International Conference on Applied Category Theory 2024
von: Johnson, Michael, et al.
Veröffentlicht: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
von: Pollaci, Samuele, et al.
Veröffentlicht: (2024)

Classical Distributive Restriction Categories
von: Cockett, Robin, et al.
Veröffentlicht: (2023)

Elgot Categories and Abacus Programs
von: Nester, Chad
Veröffentlicht: (2025)

Coinductive Streams in Monoidal Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2022)

Regular Typed Unification
von: Barbosa, João, et al.
Veröffentlicht: (2024)

Regular Games with Imperfect Information Are Not That Regular
von: Doyen, Laurent, et al.
Veröffentlicht: (2024)