Cover Image

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	de Frutos-Escrig, David, Palomino, Miguel, Fábregas, Ignacio
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Non-strongly Stable Orders Also Define Interesting Simulation Relations
by: Fábregas, Ignacio, et al.
Published: (2024)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
by: Fábregas, Ignacio, et al.
Published: (2024)

Logics for Contravariant Simulations
by: Fábregas, Ignacio, et al.
Published: (2024)

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

On the specification of modal systems: A comparison of three frameworks
by: Aceto, Luca, et al.
Published: (2024)

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

Branching Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2025)

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

Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2024)

Finitary Truly Concurrent Bisimulations
by: Wang, Yong
Published: (2026)

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

Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024)

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

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)

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

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

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

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

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

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

Relational Dualities and Bisimulation
by: Kozicki, Piotr, et al.
Published: (2026)

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

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

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

Relational Connectors and Heterogeneous Bisimulations
by: Nora, Pedro, et al.
Published: (2024)

Binding Contexts as Partitionable Multisets in Abella
by: Gray, Terrance, et al.
Published: (2024)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
by: Kanovich, Max, et al.
Published: (2016)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
by: Bernardo, Marco, et al.
Published: (2025)

When Are Prime Formulae Characteristic?
by: Aceto, Luca, et al.
Published: (2024)

A unified rule format for bounded nondeterminism in SOS with terms as labels
by: Aceto, Luca, et al.
Published: (2024)

Logical characterisations, rule formats and compositionality for input-output conformance simulation
by: Aceto, Luca, et al.
Published: (2024)

Rule Formats for Nominal Process Calculi
by: Aceto, Luca, et al.
Published: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
by: Flaminio, Tommaso, et al.
Published: (2026)

Multisets and Distributions
by: Kozen, Dexter, et al.
Published: (2023)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
by: Bruse, Florian, et al.
Published: (2026)

Axiomatizing the Logic of Ordinary Discourse
by: Greati, Vitor, et al.
Published: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Distributional Probabilistic Model Checking
by: Elsayed-Aly, Ingy, et al.
Published: (2023)

Probabilistic Model Checking: Applications and Trends
by: Kwiatkowska, Marta, et al.
Published: (2025)