{"id":31,"date":"2026-06-04T04:00:00","date_gmt":"2026-06-04T04:00:00","guid":{"rendered":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/"},"modified":"2026-06-04T17:13:25","modified_gmt":"2026-06-04T17:13:25","slug":"2603-24747","status":"publish","type":"post","link":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/","title":{"rendered":"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method"},"content":{"rendered":"<p><br \/>\n<\/p>\n<div id=\"content-inner\">\n<div id=\"abs\">\n    <span class=\"error\" style=\"border: 2px solid grey\">This paper has been withdrawn by Andreas Schlapbach<\/span><\/p>\n<div class=\"dateline\">\n  [Submitted on 25 Mar 2026 (v1), last revised 3 Jun 2026 (this version, v2)]<\/div>\n<p>View a PDF of the paper titled Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method, by Andreas Schlapbach<\/p>\n<p>    No PDF out there, click on to view different codecs<\/p>\n<blockquote class=\"abstract mathjax\"><p>\n            <span class=\"descriptor\">Summary:<\/span>The emergence of enormous language mannequin brokers able to invoking exterior instruments has created pressing want for formal verification of agent protocols. Two paradigms dominate this area: Schema-Guided Dialogue (SGD), a analysis framework for zero-shot API generalization, and the Mannequin Context Protocol (MCP), an business normal for agent-tool integration. Whereas each allow dynamic service discovery via schema descriptions, their formal relationship stays unexplored. Constructing on prior work establishing the conceptual convergence of those paradigms, we current the primary course of calculus formalization of SGD and MCP, proving they&#8217;re structurally bisimilar underneath a well-defined mapping Phi. Nonetheless, we display that the reverse mapping Phi^{-1} is partial and lossy, revealing essential gaps in MCP&#8217;s expressivity. By means of bidirectional evaluation, we determine 5 ideas &#8212; semantic completeness, specific motion boundaries, failure mode documentation, progressive disclosure compatibility, and inter-tool relationship declaration &#8212; as needed and adequate situations for full behavioral equivalence. We formalize these ideas as type-system extensions MCP+, proving MCP+ is isomorphic to SGD. Our work supplies the primary formal basis for verified agent techniques and establishes schema high quality as a provable security property.\n    <\/p><\/blockquote><\/div>\n<\/div>\n<div>\n<h2>Submission historical past<\/h2>\n<p> From: Andreas Schlapbach [view email]                  [v1]<br \/>\n        Wed, 25 Mar 2026 19:18:27 UTC (21 KB)<br \/>\n    [v2]<br \/>\nWed, 3 Jun 2026 17:00:42 UTC (1 KB) (withdrawn)\n<\/p><\/div>\n<p><br \/>\n<br \/><a href=\"https:\/\/arxiv.org\/abs\/2603.24747\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>This paper has been withdrawn by Andreas Schlapbach [Submitted on 25 Mar 2026 (v1), last revised 3 Jun 2026 (this version, v2)] View a PDF of the paper titled Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method, by Andreas Schlapbach No PDF out there, click on to view different codecs Summary:The emergence [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":33,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"fifu_image_url":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","fifu_image_alt":"","jnews-multi-image_gallery":[],"jnews_single_post":[],"jnews_primary_category":[],"jnews_override_bookmark_settings":[],"jnews_social_meta":[],"jnews_override_counter":[],"footnotes":""},"categories":[2],"tags":[15,20,19,13,18,17,14,16],"class_list":["post-31","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai-research-breakthroughs","tag-agentic","tag-approach","tag-calculus","tag-formal","tag-process","tag-protocols","tag-semantics","tag-tool"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.7 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method - Future News 24<\/title>\n<meta name=\"description\" content=\"Abstract page for arXiv paper 2603.24747: Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method - Future News 24\" \/>\n<meta property=\"og:description\" content=\"Abstract page for arXiv paper 2603.24747: Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach\" \/>\n<meta property=\"og:url\" content=\"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/\" \/>\n<meta property=\"og:site_name\" content=\"Future News 24\" \/>\n<meta property=\"article:published_time\" content=\"2026-06-04T04:00:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-06-04T17:13:25+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png\" \/>\n<meta name=\"author\" content=\"Future News 24\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Future News 24\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/\"},\"author\":{\"name\":\"Future News 24\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\"},\"headline\":\"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method\",\"datePublished\":\"2026-06-04T04:00:00+00:00\",\"dateModified\":\"2026-06-04T17:13:25+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/\"},\"wordCount\":269,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\",\"keywords\":[\"Agentic\",\"Approach\",\"Calculus\",\"Formal\",\"Process\",\"Protocols\",\"Semantics\",\"Tool\"],\"articleSection\":[\"AI Research &amp; Breakthroughs\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/\",\"name\":\"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method - Future News 24\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\",\"datePublished\":\"2026-06-04T04:00:00+00:00\",\"dateModified\":\"2026-06-04T17:13:25+00:00\",\"description\":\"Abstract page for arXiv paper 2603.24747: Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/#primaryimage\",\"url\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\",\"contentUrl\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/04\\\/2603-24747\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/futurenews24.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/\",\"name\":\"Future News 24\",\"description\":\"The Smart Hub for AI and Next-Gen Innovation\",\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/futurenews24.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\",\"name\":\"Future News 24\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/fn24-favicon.png\",\"contentUrl\":\"https:\\\/\\\/futurenews24.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/fn24-favicon.png\",\"width\":250,\"height\":250,\"caption\":\"Future News 24\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\",\"name\":\"Future News 24\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"caption\":\"Future News 24\"},\"sameAs\":[\"https:\\\/\\\/futurenews24.com\"],\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/author\\\/mridulpahuja20\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method - Future News 24","description":"Abstract page for arXiv paper 2603.24747: Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/","og_locale":"en_US","og_type":"article","og_title":"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method - Future News 24","og_description":"Abstract page for arXiv paper 2603.24747: Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","og_url":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/","og_site_name":"Future News 24","article_published_time":"2026-06-04T04:00:00+00:00","article_modified_time":"2026-06-04T17:13:25+00:00","og_image":[{"url":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","type":"","width":"","height":""}],"author":"Future News 24","twitter_card":"summary_large_image","twitter_image":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","twitter_misc":{"Written by":"Future News 24","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/#article","isPartOf":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/"},"author":{"name":"Future News 24","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83"},"headline":"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method","datePublished":"2026-06-04T04:00:00+00:00","dateModified":"2026-06-04T17:13:25+00:00","mainEntityOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/"},"wordCount":269,"commentCount":0,"publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/#primaryimage"},"thumbnailUrl":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","keywords":["Agentic","Approach","Calculus","Formal","Process","Protocols","Semantics","Tool"],"articleSection":["AI Research &amp; Breakthroughs"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/","url":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/","name":"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method - Future News 24","isPartOf":{"@id":"https:\/\/futurenews24.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/#primaryimage"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/#primaryimage"},"thumbnailUrl":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","datePublished":"2026-06-04T04:00:00+00:00","dateModified":"2026-06-04T17:13:25+00:00","description":"Abstract page for arXiv paper 2603.24747: Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","breadcrumb":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/#primaryimage","url":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","contentUrl":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png"},{"@type":"BreadcrumbList","@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/04\/2603-24747\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/futurenews24.com\/"},{"@type":"ListItem","position":2,"name":"[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method"}]},{"@type":"WebSite","@id":"https:\/\/futurenews24.com\/#website","url":"https:\/\/futurenews24.com\/","name":"Future News 24","description":"The Smart Hub for AI and Next-Gen Innovation","publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/futurenews24.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/futurenews24.com\/#organization","name":"Future News 24","url":"https:\/\/futurenews24.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/#\/schema\/logo\/image\/","url":"https:\/\/futurenews24.com\/wp-content\/uploads\/2026\/06\/fn24-favicon.png","contentUrl":"https:\/\/futurenews24.com\/wp-content\/uploads\/2026\/06\/fn24-favicon.png","width":250,"height":250,"caption":"Future News 24"},"image":{"@id":"https:\/\/futurenews24.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83","name":"Future News 24","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","caption":"Future News 24"},"sameAs":["https:\/\/futurenews24.com"],"url":"https:\/\/futurenews24.com\/index.php\/author\/mridulpahuja20\/"}]}},"_links":{"self":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/31","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/comments?post=31"}],"version-history":[{"count":1,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/31\/revisions"}],"predecessor-version":[{"id":32,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/31\/revisions\/32"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media\/33"}],"wp:attachment":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media?parent=31"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/categories?post=31"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/tags?post=31"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}