Buchumschlag

On Bisimilarity for Quasi-discrete Closure Spaces

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ciancia, Vincenzo, Latella, Diego, Massink, Mieke, de Vink, Erik P.
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

Practical Exploration of Polyhedral Model Checking
von: Andriaccio, Yuri, et al.
Veröffentlicht: (2025)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
von: van Glabbeek, Rob, et al.
Veröffentlicht: (2025)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
von: Bernardo, Marco, et al.
Veröffentlicht: (2025)

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

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
von: Bernardo, Marco, et al.
Veröffentlicht: (2024)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
von: Grabmayer, Clemens
Veröffentlicht: (2022)

Bisimilarity in fresh-register automata
von: Murawski, Andrzej S., et al.
Veröffentlicht: (2020)

Minimising the Probabilistic Bisimilarity Distance
von: Kiefer, Stefan, et al.
Veröffentlicht: (2024)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
von: Fatmi, Syyeda Zainab, et al.
Veröffentlicht: (2025)

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

Place Bisimilarity is Decidable, Indeed!
von: Gorrieri, Roberto
Veröffentlicht: (2021)

Guarded Negation Transitive Closure Logic
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

Branching Bisimilarity for Processes with Time-outs
von: Reghem, Gaspard, et al.
Veröffentlicht: (2024)

Concrete Branching Bisimilarity for Processes with Time-outs
von: Reghem, Gaspard, et al.
Veröffentlicht: (2024)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

Nested Sequents for Quasi-transitive Modal Logics
von: Marin, Sonia, et al.
Veröffentlicht: (2024)

Congruence Closure Modulo Groups
von: Kim, Dohan
Veröffentlicht: (2023)

Closure and Complexity of Temporal Causality
von: Carelli, Mishel, et al.
Veröffentlicht: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
von: Abraham, Uri, et al.
Veröffentlicht: (2023)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
von: Grabmayer, Clemens, et al.
Veröffentlicht: (2025)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
von: Nakamura, Yoshiki
Veröffentlicht: (2024)

Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2023)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
von: Bisping, Benjamin, et al.
Veröffentlicht: (2024)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
von: Zhang, Yuanrui, et al.
Veröffentlicht: (2023)

Control Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2025)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Logics of polyhedral reachability
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds
von: Huch, Fabian
Veröffentlicht: (2024)

Rate-Distortion Theory for Deductive Sources under Closure Fidelity
von: Xu, Jianfeng
Veröffentlicht: (2026)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
von: Wrona, Michal
Veröffentlicht: (2024)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

Effective weak convergence and tightness of measures in computable Polish spaces
von: Rojas, Diego A.
Veröffentlicht: (2024)

A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks
von: Imbriani, Manuela, et al.
Veröffentlicht: (2025)