Asynchronous Global Protocols, Precisely: Full Proofs
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Pischke, Kai, Masters, Jake, Yoshida, Nobuko |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| 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)
von: Hou, Ping, et al.
Veröffentlicht: (2024)
Hybrid Multiparty Session Types -- Full Version
von: Gheri, Lorenzo, et al.
Veröffentlicht: (2023)
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)
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)
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)
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)
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)
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)
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)
Denotational reasoning for asynchronous multiparty session types
von: McDermott, Dylan, et al.
Veröffentlicht: (2026)
von: McDermott, Dylan, et al.
Veröffentlicht: (2026)
Branching Out: Existential External Choice in Effpi
von: Robinson, Benjamin, et al.
Veröffentlicht: (2026)
von: Robinson, Benjamin, et al.
Veröffentlicht: (2026)
Checkpoint-based rollback recovery in session programming
von: Mezzina, Claudio Antares, et al.
Veröffentlicht: (2023)
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)
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)
von: Li, Elaine, et al.
Veröffentlicht: (2024)
Pacing Types for Asynchronous Stream Equations
von: Kohn, Florian, et al.
Veröffentlicht: (2026)
von: Kohn, Florian, et al.
Veröffentlicht: (2026)
Unreliability in Practical Subclasses of Communicating Systems
von: Suresh, Amrita, et al.
Veröffentlicht: (2025)
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)
von: Li, Elaine, et al.
Veröffentlicht: (2026)
Pacing Types: Safe Monitoring of Asynchronous Streams
von: Kohn, Florian, et al.
Veröffentlicht: (2025)
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)
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)
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)
von: Vidal, Germán
Veröffentlicht: (2023)
A Natural Formalized Proof Language
von: Xie, Lihan, et al.
Veröffentlicht: (2024)
von: Xie, Lihan, et al.
Veröffentlicht: (2024)
Automating Equational Proofs in Dirac Notation
von: Xu, Yingte, et al.
Veröffentlicht: (2024)
von: Xu, Yingte, et al.
Veröffentlicht: (2024)
Implementability of Global Distributed Protocols modulo Network Architectures
von: Li, Elaine, et al.
Veröffentlicht: (2026)
von: Li, Elaine, et al.
Veröffentlicht: (2026)
Higher-Order Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2023)
von: Ahman, Danel, et al.
Veröffentlicht: (2023)
Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2021)
von: Bravetti, Mario, et al.
Veröffentlicht: (2021)
Strong Normalisation for Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2026)
von: Ahman, Danel, et al.
Veröffentlicht: (2026)
Adaptive Shielding via Parametric Safety Proofs
von: Feng, Yao, et al.
Veröffentlicht: (2025)
von: Feng, Yao, et al.
Veröffentlicht: (2025)
Proof Repair across Quotient Type Equivalences
von: Viola, Cosmo, et al.
Veröffentlicht: (2023)
von: Viola, Cosmo, et al.
Veröffentlicht: (2023)
Agentic Proof Automation: A Case Study
von: Xu, Yichen, et al.
Veröffentlicht: (2026)
von: Xu, Yichen, et al.
Veröffentlicht: (2026)
Full Iso-recursive Types
von: Zhou, Litao, et al.
Veröffentlicht: (2024)
von: Zhou, Litao, et al.
Veröffentlicht: (2024)
Scenario-Based Proofs for Concurrent Objects [Extended Version]
von: Enea, Constantin, et al.
Veröffentlicht: (2023)
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)
von: Ho, Son, et al.
Veröffentlicht: (2024)
Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)
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)
von: Kent, Zachary, et al.
Veröffentlicht: (2025)
Language-Integrated Recursive Queries (Full Version)
von: Herlihy, Anna, et al.
Veröffentlicht: (2025)
von: Herlihy, Anna, et al.
Veröffentlicht: (2025)
Contextual MetaML: Syntax and Full Abstraction
von: Yin, Haoxuan, et al.
Veröffentlicht: (2026)
von: Yin, Haoxuan, et al.
Veröffentlicht: (2026)
Nofl: A Precise Immix
von: Wingo, Andy
Veröffentlicht: (2025)
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)
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)
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)
von: Xu, Qiyuan, et al.
Veröffentlicht: (2025)
Ä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)