Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models.

arXiv:2607.27964v3 Announce Type: replace-cross Abstract: Ensuring behavioural correctness in communication protocols is a central challenge in distributed software systems, as subtle inconsistencies can lead to deadlocks. In such settings, protocol refinement