:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bernardo, Marco, Esposito, Andrea, Mezzina, Claudio A.
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2411.14583
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
by: Pizzo, Nicolò, et al.
Published: (2026)

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

Minimising the Probabilistic Bisimilarity Distance
by: Kiefer, Stefan, et al.
Published: (2024)

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

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

Compositional Reversible Computation
by: Carette, Jacques, et al.
Published: (2024)

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

An Axiomatic Theory for Reversible Computation
by: Lanese, Ivan, et al.
Published: (2023)

Place Bisimilarity is Decidable, Indeed!
by: Gorrieri, Roberto
Published: (2021)

Reversible Computation with Stacks and "Reversible Management of Failures"
by: Palazzo, Matteo, et al.
Published: (2025)

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

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

Proving Behavioural Apartness
by: Turkenburg, Ruben, et al.
Published: (2024)

Near-Optimal Encodings of Cardinality Constraints
by: Krapivin, Andrew, et al.
Published: (2026)

A Curry-Howard Correspondence for Linear, Reversible Computation
by: Chardonnet, Kostia, et al.
Published: (2023)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
by: Cecilia, Gabriele
Published: (2025)

On the Complexity of Proving Polyhedral Reductions
by: Amat, Nicolas, et al.
Published: (2023)

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

What are the Right Symmetries for Formal Theorem Proving?
by: Olejniczak, Krzysztof, et al.
Published: (2026)

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

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

Equational Theorem Proving for Clauses over Strings
by: Kim, Dohan
Published: (2023)

Cyclic Proofs in Hoare Logic and its Reverse
by: Brotherston, James, et al.
Published: (2025)

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

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
by: Esposito, Andrea, et al.
Published: (2023)

Towards Proving Liveness on Weak Memory (Extended Version)
by: Bargmann, Lara, et al.
Published: (2026)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
by: Lindner, Andreas, et al.
Published: (2023)

Asymptotically Smaller Encodings for Graph Problems and Scheduling
by: Subercaseaux, Bernardo
Published: (2025)

A Reversible Semantics for Janus
by: Lanese, Ivan, et al.
Published: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
by: Kabra, Aditi, et al.
Published: (2026)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
by: Dardinier, Thibault, et al.
Published: (2023)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
by: Kirst, Dominik, et al.
Published: (2026)