Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach 事件

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach arXiv:2603.24747v2 Announce Type: replace Abstract: The emergence of large language model agents capable of invoking external tools has created urgent need for formal verification of agent protocols. Two paradigms dominate this space: Schema-Guided Dialogue (SGD), a research framework for zero-shot API generalization, and the Model Context Protocol (MCP), an industry standard for agent-tool integration. While both enable d