Cover Image

A Behavioral Theory for Distributed Systems with Weak Recovery

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fabbretti, Giovanni, Lanese, Ivan, Stefani, Jean-Bernard
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

A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)

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

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

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

Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
by: Wang, Yiheng, et al.
Published: (2024)

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

Collusion Relations and their Applications to Balance Theory
by: Joinet, Jean-Baptiste, et al.
Published: (2026)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

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

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Distribution-Free Normal Modal Logics
by: Hartonas, Chrysafis
Published: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

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

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

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

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
by: Ma, Zhifeng, et al.
Published: (2024)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
by: Chrysafis, et al.
Published: (2025)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
by: Acclavio, Matteo
Published: (2023)

Speedability of computably approximable reals and their approximations
by: Barmpalias, George, et al.
Published: (2026)

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

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

Computational Paths Form a Weak ω-Groupoid
by: Ramos, Arthur F., et al.
Published: (2025)

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

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
by: Anantharaman, Siva, et al.
Published: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
by: Bezem, Marc, et al.
Published: (2026)