Cover Image

Implementability of Global Distributed Protocols modulo Network Architectures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Elaine, Wies, Thomas
Format:	Preprint
Published:	2026
Subjects:	Formal Languages and Automata Theory Distributed, Parallel, and Cluster Computing Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Complete Multiparty Session Type Projection with Automata
by: Li, Elaine, et al.
Published: (2023)

Population Protocols over Ordered Agents
by: Blondin, Michael, et al.
Published: (2026)

Verifying Randomized Consensus Protocols with Common Coins
by: Gao, Song, et al.
Published: (2024)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
by: Lossin, Benno, et al.
Published: (2024)

Logical Synchrony Networks: A formal model for deterministic distribution
by: Kenwright, Logan, et al.
Published: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
by: Wang, Chao, et al.
Published: (2026)

2-Coloring Cycles in One Round
by: Flin, Maxime, et al.
Published: (2026)

State machines for large scale computer software and systems
by: Yodaiken, Victor
Published: (2016)

Synchronizability of Communicating Finite State Machines is not Decidable
by: Finkel, Alain, et al.
Published: (2017)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)

Deciding Serializability in Network Systems
by: Amir, Guy, et al.
Published: (2026)

Classification of Local Optimization Problems in Directed Cycles
by: Boudier, Thomas, et al.
Published: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
by: Guillou, Lucie, et al.
Published: (2023)

On defining and modeling context-awareness
by: Rodis, Panteleimon
Published: (2026)

Smart Casual Verification of the Confidential Consortium Framework
by: Howard, Heidi, et al.
Published: (2024)

Mixed Choice in Asynchronous Multiparty Session Types
by: Bocchi, Laura, et al.
Published: (2026)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
by: Coget, Isabelle, et al.
Published: (2026)

Types for Grassroots Logic Programs
by: Shapiro, Ehud
Published: (2026)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
by: Bollig, Benedikt, et al.
Published: (2026)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2024)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
by: Li, Elaine, et al.
Published: (2026)

Deciding Subtyping for Asynchronous Multiparty Sessions
by: Li, Elaine, et al.
Published: (2024)

Decidability Issues for Petri Nets -- a survey
by: Esparza, Javier, et al.
Published: (2024)

LLM-based policy generation for intent-based management of applications
by: Dzeparoska, Kristina, et al.
Published: (2024)

Computing Inductive Invariants of Regular Abstraction Frameworks
by: Czerner, Philipp, et al.
Published: (2024)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
by: Stutz, Felix, et al.
Published: (2025)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
by: Vieira, Tim
Published: (2026)

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
by: Wu, Zi-Niu
Published: (2025)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
by: Schmellenkamp, Marko, et al.
Published: (2024)

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

Polyregular equivalence is undecidable in higher-order types
by: Bojańczyk, Mikołaj, et al.
Published: (2026)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
by: Nepeivoda, Antonina, et al.
Published: (2025)

Saturating automata for game semantics
by: Dixon, Alex, et al.
Published: (2023)

Decision Procedure for A Theory of String Sequences
by: Hu, Denghang, et al.
Published: (2025)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
by: Paul, Abhijit
Published: (2025)

Maximal and minimal dynamic Petri net slicing
by: Llorens, Marisa, et al.
Published: (2021)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
by: Jia, Xiaodong, et al.
Published: (2024)

Synthesizing DSLs for Few-Shot Learning
by: Krogmeier, Paul, et al.
Published: (2025)

Syntax Repair as Language Intersection
by: Considine, Breandan
Published: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
by: Geißler, Dominik, et al.
Published: (2025)