Buchumschlag

Asynchronous Global Protocols, Precisely: Full Proofs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pischke, Kai, Masters, Jake, Yoshida, Nobuko
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
von: Hou, Ping, et al.
Veröffentlicht: (2024)

Hybrid Multiparty Session Types -- Full Version
von: Gheri, Lorenzo, et al.
Veröffentlicht: (2023)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
von: Martin, Vassor, et al.
Veröffentlicht: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
von: Giunti, Marco, et al.
Veröffentlicht: (2025)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)

Denotational reasoning for asynchronous multiparty session types
von: McDermott, Dylan, et al.
Veröffentlicht: (2026)

Branching Out: Existential External Choice in Effpi
von: Robinson, Benjamin, et al.
Veröffentlicht: (2026)

Checkpoint-based rollback recovery in session programming
von: Mezzina, Claudio Antares, et al.
Veröffentlicht: (2023)

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
von: Zhang, Tesla, et al.
Veröffentlicht: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Pacing Types for Asynchronous Stream Equations
von: Kohn, Florian, et al.
Veröffentlicht: (2026)

Unreliability in Practical Subclasses of Communicating Systems
von: Suresh, Amrita, et al.
Veröffentlicht: (2025)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Pacing Types: Safe Monitoring of Asynchronous Streams
von: Kohn, Florian, et al.
Veröffentlicht: (2025)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
von: Vidal, Germán
Veröffentlicht: (2023)

A Natural Formalized Proof Language
von: Xie, Lihan, et al.
Veröffentlicht: (2024)

Automating Equational Proofs in Dirac Notation
von: Xu, Yingte, et al.
Veröffentlicht: (2024)

Implementability of Global Distributed Protocols modulo Network Architectures
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Higher-Order Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2023)

Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2021)

Strong Normalisation for Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

Adaptive Shielding via Parametric Safety Proofs
von: Feng, Yao, et al.
Veröffentlicht: (2025)

Proof Repair across Quotient Type Equivalences
von: Viola, Cosmo, et al.
Veröffentlicht: (2023)

Agentic Proof Automation: A Case Study
von: Xu, Yichen, et al.
Veröffentlicht: (2026)

Full Iso-recursive Types
von: Zhou, Litao, et al.
Veröffentlicht: (2024)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
von: Enea, Constantin, et al.
Veröffentlicht: (2023)

Incremental Proof Development in Dafny with Module-Based Induction
von: Ho, Son, et al.
Veröffentlicht: (2024)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
von: Kent, Zachary, et al.
Veröffentlicht: (2025)

Language-Integrated Recursive Queries (Full Version)
von: Herlihy, Anna, et al.
Veröffentlicht: (2025)

Contextual MetaML: Syntax and Full Abstraction
von: Yin, Haoxuan, et al.
Veröffentlicht: (2026)

Nofl: A Precise Immix
von: Wingo, Andy
Veröffentlicht: (2025)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
von: Conoly, Owen, et al.
Veröffentlicht: (2025)

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
von: Schüssele, Frank, et al.
Veröffentlicht: (2025)

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
von: Xu, Qiyuan, et al.
Veröffentlicht: (2025)