Buchumschlag

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Elaine, Stutz, Felix
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Formal Languages and Automata Theory Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

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

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

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

Verification under TSO with an infinite Data Domain
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

Polyregular Model Checking
von: Lopez, Aliaume, et al.
Veröffentlicht: (2025)

Checking History-Determinism is NP-hard for Parity Automata
von: Prakash, Keya
Veröffentlicht: (2023)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
von: De Maria, Elisabetta, et al.
Veröffentlicht: (2026)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Polyregular equivalence is undecidable in higher-order types
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2026)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
von: Nepeivoda, Antonina, et al.
Veröffentlicht: (2025)

Saturating automata for game semantics
von: Dixon, Alex, et al.
Veröffentlicht: (2023)

Decision Procedure for A Theory of String Sequences
von: Hu, Denghang, et al.
Veröffentlicht: (2025)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
von: Jia, Xiaodong, et al.
Veröffentlicht: (2024)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

Syntax Repair as Language Intersection
von: Considine, Breandan
Veröffentlicht: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Reactive graphs in action (extended version)
von: Tinoco, David, et al.
Veröffentlicht: (2024)

Synchronisability in Mailbox Communication
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2024)

Linear Matching of JavaScript Regular Expressions
von: Barrière, Aurèle, et al.
Veröffentlicht: (2023)

Formally Verified Linear-Time Invertible Lexing
von: Chassot, Samuel, et al.
Veröffentlicht: (2025)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
von: Yu, Qixian, et al.
Veröffentlicht: (2025)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
von: Kuriyama, Takayuki
Veröffentlicht: (2014)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
von: Akshay, S., et al.
Veröffentlicht: (2024)

Type-safe Monitoring of Parameterized Streams
von: Baumeister, Jan, et al.
Veröffentlicht: (2026)

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

Global One-Counter Tree Automata
von: Herrmann, Luisa, et al.
Veröffentlicht: (2024)

Non-Global Parikh Tree Automata
von: Herrmann, Luisa, et al.
Veröffentlicht: (2024)

State estimation of timed automata under partial observation [Draft version]
von: Gao, Chao, et al.
Veröffentlicht: (2024)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
von: Vieira, Tim
Veröffentlicht: (2026)

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
von: Wu, Zi-Niu
Veröffentlicht: (2025)

A Word Sampler for Well-Typed Functions
von: Considine, Breandan
Veröffentlicht: (2025)

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
von: Henkel, Christian, et al.
Veröffentlicht: (2025)

From LTL to COCOA without Detours
von: Ehlers, Rüdiger, et al.
Veröffentlicht: (2024)