Buchumschlag

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Giunti, Marco, 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

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

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

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

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

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

Multiparty Session Typing, Embedded (Technical Report)
von: Jongmans, Sung-Shik
Veröffentlicht: (2025)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
von: Peters, Kirstin, et al.
Veröffentlicht: (2024)

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

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

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
von: Devriese, Dominique, et al.
Veröffentlicht: (2020)

Multiparty Session Types with a Bang!
von: Brun, Matthew Alan Le, et al.
Veröffentlicht: (2025)

Towards Quantum Multiparty Session Types
von: Lanese, Ivan, et al.
Veröffentlicht: (2024)

A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
von: Castro-Perez, David, et al.
Veröffentlicht: (2025)

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

Complete Multiparty Session Type Projection with Automata
von: Li, Elaine, et al.
Veröffentlicht: (2023)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2026)

Asynchronous Global Protocols, Precisely: Full Proofs
von: Pischke, Kai, et al.
Veröffentlicht: (2025)

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

Mixed Choice in Asynchronous Multiparty Session Types
von: Bocchi, Laura, et al.
Veröffentlicht: (2026)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
von: Amorim, Arthur, et al.
Veröffentlicht: (2025)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

On Asynchronous Multiparty Session Types for Federated Learning
von: Prokić, Ivan, et al.
Veröffentlicht: (2025)

NEST: Network Enforced Session Types (Technical Report)
von: Larsen, Jens Kanstrup, et al.
Veröffentlicht: (2026)

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

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

Verification Algorithms for Automated Separation Logic Verifiers
von: Eilers, Marco, et al.
Veröffentlicht: (2024)

Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
von: Faella, Marco, et al.
Veröffentlicht: (2024)

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
von: Jongmans, Sung-Shik
Veröffentlicht: (2024)

Verification of Recursively Defined Quantum Circuits
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Automated Verification of Soundness of DNN Certifiers
von: Singh, Avaljot, et al.
Veröffentlicht: (2025)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
von: Cheng, Ruotong, et al.
Veröffentlicht: (2025)

Realisability and Complementability of Multiparty Session Types
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2025)

Deciding Subtyping for Asynchronous Multiparty Sessions
von: Li, Elaine, et al.
Veröffentlicht: (2024)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
von: Stutz, Felix, et al.
Veröffentlicht: (2025)

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

Verified Parameterized Choreographies Technical Report
von: Rubbens, Robert, et al.
Veröffentlicht: (2025)

A Minimal Formulation of Session Types: The Sessions of Trios in Concert
von: Arslanagić, Alen, et al.
Veröffentlicht: (2023)

Automated Software Verification of Hyperliveness
von: Beutner, Raven
Veröffentlicht: (2024)

Encoding Petri Nets into CCS (Technical Report)
von: Bogø, Benjamin, et al.
Veröffentlicht: (2024)

Separating Sessions Smoothly
von: Fowler, Simon, et al.
Veröffentlicht: (2021)