Buchumschlag

Mixed Choice in Asynchronous Multiparty Session Types

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bocchi, Laura, Hu, Raymond, Voinea, Adriana Laura, Thompson, Simon
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Distributed, Parallel, and Cluster Computing Formal Languages and Automata Theory Multiagent Systems Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Types for Grassroots Logic Programs
von: Shapiro, Ehud
Veröffentlicht: (2026)

Smart Casual Verification of the Confidential Consortium Framework
von: Howard, Heidi, et al.
Veröffentlicht: (2024)

On defining and modeling context-awareness
von: Rodis, Panteleimon
Veröffentlicht: (2026)

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

Verifying Randomized Consensus Protocols with Common Coins
von: Gao, Song, et al.
Veröffentlicht: (2024)

State machines for large scale computer software and systems
von: Yodaiken, Victor
Veröffentlicht: (2016)

Population Protocols over Ordered Agents
von: Blondin, Michael, et al.
Veröffentlicht: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
von: Lossin, Benno, et al.
Veröffentlicht: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
von: Wang, Chao, et al.
Veröffentlicht: (2026)

Logical Synchrony Networks: A formal model for deterministic distribution
von: Kenwright, Logan, et al.
Veröffentlicht: (2024)

2-Coloring Cycles in One Round
von: Flin, Maxime, et al.
Veröffentlicht: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
von: Finkel, Alain, et al.
Veröffentlicht: (2017)

A model of actors and grey failures
von: Bocchi, Laura, et al.
Veröffentlicht: (2022)

Deciding Serializability in Network Systems
von: Amir, Guy, et al.
Veröffentlicht: (2026)

Extending Data Spatial Semantics for Scale Agnostic Programming
von: Mars, Jason
Veröffentlicht: (2025)

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
von: Casadei, Roberto
Veröffentlicht: (2022)

Classification of Local Optimization Problems in Directed Cycles
von: Boudier, Thomas, et al.
Veröffentlicht: (2026)

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

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

A Simple Trace Semantics for Asynchronous Sequence Diagrams
von: Faitelson, David, et al.
Veröffentlicht: (2025)

A Session Type System for Asynchronous Unreliable Broadcast Communication
von: Kouzapas, Dimitrios, et al.
Veröffentlicht: (2019)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
von: Coget, Isabelle, et al.
Veröffentlicht: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
von: Guillou, Lucie, et al.
Veröffentlicht: (2023)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
von: Mavridou, Anastasia, et al.
Veröffentlicht: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2022)

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

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
von: Ghasemirad, Shabnam, et al.
Veröffentlicht: (2024)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
von: Bollig, Benedikt, et al.
Veröffentlicht: (2026)

The Vision of Autonomic Computing: Can LLMs Make It a Reality?
von: Zhang, Zhiyang, et al.
Veröffentlicht: (2024)

Decoupled Planning for Multiple Omega-Regular Objectives
von: Avni, Guy, et al.
Veröffentlicht: (2026)

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

Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
von: Hendriks, Dennis, et al.
Veröffentlicht: (2025)

CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
von: Huang, Junjie, et al.
Veröffentlicht: (2025)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
von: Khakpour, Narges, et al.
Veröffentlicht: (2025)

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

SynCode: LLM Generation with Grammar Augmentation
von: Ugare, Shubham, et al.
Veröffentlicht: (2024)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
von: Mündler, Niels, et al.
Veröffentlicht: (2025)

On the Effectiveness of Large Language Models in Writing Alloy Formulas
von: Hong, Yang, et al.
Veröffentlicht: (2025)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
von: Shi, Chenhao, et al.
Veröffentlicht: (2023)