works on
deadlock detection 1domain-specific language 1large language models 1message sequence charts 1multi-agent coordination 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.PL2026

Provable Coordination for LLM Agents via Message Sequence Charts

Benedikt Bollig, Matthias Függer, Thomas Nowak

The paper presents a domain-specific language based on message sequence charts to specify and verify coordination among large language model agents, providing deadlock‑free local p…