Image de couverture de livre

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rowicki, Radosław Jan, Francalanza, Adrian, Scalas, Alceste
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

COTS: Connected OpenAPI Test Synthesis for RESTful Applications
par: Burlò, Christian Bartolo, et autres
Publié: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
par: Barenbaum, Pablo, et autres
Publié: (2024)

Encoding Petri Nets into CCS (Technical Report)
par: Bogø, Benjamin, et autres
Publié: (2024)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
par: Achilleos, Antonis, et autres
Publié: (2024)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions
par: Achilleos, Antonis, et autres
Publié: (2023)

On Asynchronous Multiparty Session Types for Federated Learning
par: Prokić, Ivan, et autres
Publié: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
par: Bertrand, Meven Lennon, et autres
Publié: (2026)

act: Technical report
par: Paraskevopoulou, Zoe, et autres
Publié: (2026)

Zippy -- Generic White-Box Proof Search with Zippers
par: Kappelmann, Kevin
Publié: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
par: Bacci, Giorgio, et autres
Publié: (2025)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
par: Batz, Kevin, et autres
Publié: (2024)

Extended Abstract: Mutable Objects with Several Implementations
par: Kaufmann, Matt, et autres
Publié: (2025)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
par: Aceto, Luca, et autres
Publié: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
par: Alexandru, Cass, et autres
Publié: (2025)

Verifying Functional Correctness Properties At the Level of Java Bytecode
par: Paganoni, Marco, et autres
Publié: (2024)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2024)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
par: Zilberstein, Noam, et autres
Publié: (2023)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
par: Timany, Amin, et autres
Publié: (2021)

An Intermediate Program Representation for Optimizing Stream-Based Languages
par: Baumeister, Jan, et autres
Publié: (2025)

Formalising Inductive and Coinductive Containers
par: Damato, Stefania, et autres
Publié: (2024)

Flexible Correct-by-Construction Programming
par: Runge, Tobias, et autres
Publié: (2022)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

LFPL: Revisited and Mechanized
par: Glover, Nathaniel, et autres
Publié: (2026)

Parametrizing Reads-From Equivalence for Predictive Monitoring
par: Farzan, Azadeh, et autres
Publié: (2026)

Centralized vs Decentralized Monitors for Hyperproperties
par: Aceto, Luca, et autres
Publié: (2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
par: Heuvel, Bas van den, et autres
Publié: (2024)

Complexity results for modal logic with recursion via translations and tableaux
par: Aceto, Luca, et autres
Publié: (2023)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
par: Bollig, Benedikt
Publié: (2026)

A Probabilistic Choreography Language for PRISM
par: Carbone, Marco, et autres
Publié: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
par: Zilberstein, Noam, et autres
Publié: (2025)

Positive Sharing and Abstract Machines
par: Accattoli, Beniamino, et autres
Publié: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
par: Grandury, Marcos, et autres
Publié: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
par: Kobayashi, Kentaro, et autres
Publié: (2025)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
par: Elad, Neta, et autres
Publié: (2025)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
par: Ukhanov, Evgeny
Publié: (2025)

The Functional Machine Calculus III: Control
par: Heijltjes, Willem
Publié: (2025)

Orthologic Type Systems
par: Guilloud, Simon, et autres
Publié: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)