Cover Image

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Schlapbach, Andreas
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Multiagent Systems 68Q85, 68T42
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Probabilistic Selection in AgentSpeak(L)
by: Coelho, Francisco, et al.
Published: (2014)

Rainbow Delay Compensation: A Multi-Agent Reinforcement Learning Framework for Mitigating Delayed Observation
by: Fu, Songchen, et al.
Published: (2025)

A survey of multi-agent geosimulation methodologies: from ABM to LLM
by: Padilla, Virginia, et al.
Published: (2025)

FUAS-Agents: Autonomous Multi-Modal LLM Agents for Treatment Planning in Focused Ultrasound Ablation Surgery
by: Zhao, Lina, et al.
Published: (2025)

Dependence and Independence for Reversible Process Calculi
by: Aubert, Clément, et al.
Published: (2024)

The Provenance Paradox in Multi-Agent LLM Routing: Delegation Contracts and Attested Identity in LDP
by: Prakash, Sunil
Published: (2026)

MATRIX: Multi-Agent simulaTion fRamework for safe Interactions and conteXtual clinical conversational evaluation
by: Lim, Ernest, et al.
Published: (2025)

Intention-aware policy graphs: answering what, how, and why in opaque agents
by: Gimenez-Abalos, Victor, et al.
Published: (2024)

Defense Against Indirect Prompt Injection via Tool Result Parsing
by: Yu, Qiang, et al.
Published: (2026)

Modeling Speculative Trading Patterns in Token Markets: An Agent-Based Analysis with TokenLab
by: Wang, Mengjue, et al.
Published: (2024)

A Comprehensive Mathematical and System-Level Analysis of Autonomous Vehicle Timelines
by: Perrone, Paul
Published: (2025)

AdaptOrch: Task-Adaptive Multi-Agent Orchestration in the Era of LLM Performance Convergence
by: Yu, Geunbin
Published: (2026)

Unifying Weak Independence and Signal Hierarchy Theory: Extended Biological Petri Net Formalism with Application to Vibrio fischeri Quorum Sensing
by: Simao, Eugenio
Published: (2025)

Cooperative Task Execution in Multi-Agent Systems
by: Karishma, et al.
Published: (2024)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
by: van der Meyden, Ron
Published: (2025)

Computational Multi-Agents Society Experiments: Social Modeling Framework Based on Generative Agents
by: Zhang, Hanzhong, et al.
Published: (2025)

A Study of NP-Completeness and Undecidable Word Problems in Semigroups
by: Abdullah, Duaa, et al.
Published: (2025)

The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory
by: Peyrichou, Romain
Published: (2026)

A Multi-Agent Framework for Medical AI: Leveraging Fine-Tuned GPT, LLaMA, and DeepSeek R1 for Evidence-Based and Bias-Aware Clinical Query Processing
by: Nourmohammadi, Naeimeh, et al.
Published: (2026)

A Dynamic-Growing Fuzzy-Neuro Controller, Application to a 3PSP Parallel Robot
by: Jalaeian-Farimani, Mohsen, et al.
Published: (2026)

On Halting vs Converging in Recurrent Graph Neural Networks
by: Bollen, Jeroen, et al.
Published: (2026)

On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies
by: Gerlach, Raphael, et al.
Published: (2023)

Coopetition-Gym v1: A Formally Grounded Platform for Mixed-Motive Multi-Agent Reinforcement Learning under Strategic Coopetition
by: Pant, Vik, et al.
Published: (2026)

A Hormetic Approach to the Value-Loading Problem: Preventing the Paperclip Apocalypse?
by: Henry, Nathan I. N., et al.
Published: (2024)

Formal Verification of Minimax Algorithms
by: Wesselink, Wieger, et al.
Published: (2025)

Learning Sampled-data Control for Swarms via MeanFlow
by: Dong, Anqi, et al.
Published: (2026)

Fairness Dynamics in Digital Economy Platforms with Biased Ratings
by: Smit, J. Martin, et al.
Published: (2026)

Federated Domain Generalization with Data-free On-server Matching Gradient
by: Nguyen, Trong-Binh, et al.
Published: (2025)

On Quantum Context-Free Grammars
by: Aruja, Merina, et al.
Published: (2025)

PROV-AGENT: Unified Provenance for Tracking AI Agent Interactions in Agentic Workflows
by: Souza, Renan, et al.
Published: (2025)

Hidden Coalitions in Multi-Agent AI: A Spectral Diagnostic from Internal Representations
by: Berg, Cameron, et al.
Published: (2026)

RACAS: Controlling Diverse Robots With a Single Agentic System
by: Ashley, Dylan R., et al.
Published: (2026)

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
by: Klouda, Karel, et al.
Published: (2021)

When Your Own Output Becomes Your Training Data: Noise-to-Meaning Loops and a Formal RSI Trigger
by: Ando, Rintaro
Published: (2025)

Language-Based Protocol Testing
by: Liggesmeyer, Alexander, et al.
Published: (2025)

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

Emergent Collective Memory in Decentralized Multi-Agent AI Systems
by: Khushiyant
Published: (2025)

Contemporary Agent Technology: LLM-Driven Advancements vs Classic Multi-Agent Systems
by: Bădică, Costin, et al.
Published: (2025)

Universal Conditional Logic: A Formal Language for Prompt Engineering
by: Mikinka, Anthony
Published: (2025)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)