Imagen de Portada

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bernardo, Marco, Esposito, Andrea, Mezzina, Claudio A.
Formato:	Preprint
Publicado:	2025
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

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
por: Bernardo, Marco, et al.
Publicado: (2024)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
por: Bernardo, Marco, et al.
Publicado: (2022)

On Bisimilarity for Quasi-discrete Closure Spaces
por: Ciancia, Vincenzo, et al.
Publicado: (2023)

Checkpoint-based rollback recovery in session programming
por: Mezzina, Claudio Antares, et al.
Publicado: (2023)

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

A Truly Concurrent Semantics for Reversible CCS
por: Melgratti, Hernán, et al.
Publicado: (2023)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

revTPL: The Reversible Temporal Process Language
por: Bocchi, Laura, et al.
Publicado: (2022)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
por: Grabmayer, Clemens
Publicado: (2022)

Bisimilarity in fresh-register automata
por: Murawski, Andrzej S., et al.
Publicado: (2020)

Minimising the Probabilistic Bisimilarity Distance
por: Kiefer, Stefan, et al.
Publicado: (2024)

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

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

Relating Reversible Petri Nets and Reversible Event Structures, categorically
por: Melgratti, Hernán, et al.
Publicado: (2023)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
por: Fatmi, Syyeda Zainab, et al.
Publicado: (2025)

Place Bisimilarity is Decidable, Indeed!
por: Gorrieri, Roberto
Publicado: (2021)

Branching Bisimilarity for Processes with Time-outs
por: Reghem, Gaspard, et al.
Publicado: (2024)

Concrete Branching Bisimilarity for Processes with Time-outs
por: Reghem, Gaspard, et al.
Publicado: (2024)

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

Forward and Backward Simulations for Partially Observable Probability
por: Chen, Chris, et al.
Publicado: (2025)

Multisets and Distributions
por: Kozen, Dexter, et al.
Publicado: (2023)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
por: Wałęga, Przemysław Andrzej, et al.
Publicado: (2026)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
por: Grabmayer, Clemens, et al.
Publicado: (2025)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
por: Bisping, Benjamin, et al.
Publicado: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

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

Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library
por: Alonso, Bernardo
Publicado: (2026)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
por: Liang, Xiaolong, et al.
Publicado: (2024)

Decidability of Graph Neural Networks via Logical Characterizations
por: Benedikt, Michael, et al.
Publicado: (2024)

Preservation Theorems in Semiring Semantics
por: Brinke, Sophie, et al.
Publicado: (2026)

A logic for default deontic reasoning
por: Piazza, Mario, et al.
Publicado: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
por: De Domenico, Andrea, et al.
Publicado: (2026)

Multiset semantics in SPARQL, Relational Algebra and Datalog
por: Angles, Renzo, et al.
Publicado: (2026)

Preservation theorems for Tarski's relation algebra
por: Bogaerts, Bart, et al.
Publicado: (2023)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
por: Takahata, Kanta, et al.
Publicado: (2025)

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

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

Incompleteness theorems via Turing category
por: Savelyev, Yasha
Publicado: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
por: Mannucci, Mirco A., et al.
Publicado: (2025)

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
por: Zhang, Xindi, et al.
Publicado: (2024)