Paper Citation Record · LEDGER

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach

As of 11 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2603.24747.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2603.24747 v3

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-13T18:40:30.767489Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

25 of 25 outbound references displayed

verified exact2
verified fuzzy0
unresolved23
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 03fcacc3-fbce-4bbc-95bb-c5bb58532d54 · outbound

This paper cites Consensus and coop- eration in networked multi-agent systems,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Consensus and coop- eration in networked multi-agent systems,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cc52265-f682-4750-ad23-c152495be772 · outbound

This paper cites An overview of recent progress in the study of distributed multi-agent coordination,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach An overview of recent progress in the study of distributed multi-agent coordination,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d098a1d6-05bf-4b98-956d-5720fc612a34 · outbound

This paper cites Time, clocks, and the ordering of events in a distributed system,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Time, clocks, and the ordering of events in a distributed system,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d15648dd-13bb-46ab-9118-38e74333514f · outbound

This paper cites A general framework for multiple vehicle time-coordinated path following control,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach A general framework for multiple vehicle time-coordinated path following control,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d59bb7fa-bc18-4f4e-9c2f-23979e443554 · outbound

This paper cites Available: https://ieeexplore.ieee.org/abstract/document/ 5160564.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Available: https://ieeexplore.ieee.org/abstract/document/ 5160564

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1154834-42fd-4e19-bb0c-d79662c495bb · outbound

This paper cites Cooperative path following of multiple multirotors over time-varying networks,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Cooperative path following of multiple multirotors over time-varying networks,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d443c98f-2a4f-4cd7-b2ec-20c65ffe0100 · outbound

This paper cites Kaminer, A.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Kaminer, A

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0950187c-87d6-440b-bc54-ef50e942dc59 · outbound

This paper cites On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 425d6758-0928-412e-b7d3-312906be2a13 · outbound

This paper cites Available: https://api.semanticscholar.org/CorpusID: 124320622.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Available: https://api.semanticscholar.org/CorpusID: 124320622

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5988aa4d-e475-4bf1-8f0d-2e58d1e6d605 · outbound

This paper cites Minimum snap trajectory generation and control for quadrotors,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Minimum snap trajectory generation and control for quadrotors,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3160d0b-9af2-4445-8697-c103ba45420f · outbound

This paper cites Geometric tracking control of a quadrotor UA V on SE(3),.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Geometric tracking control of a quadrotor UA V on SE(3),

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 536efeff-9335-488d-a002-9a92f58a9641 · outbound

This paper cites Adaptive path following for unmanned aerial vehicles in time-varying unknown wind environments,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Adaptive path following for unmanned aerial vehicles in time-varying unknown wind environments,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e70231d-40f9-4671-861b-9b870db0e959 · outbound

This paper cites Available: https://ieeexplore.ieee.org/abstract/document/ 7963104 13.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Available: https://ieeexplore.ieee.org/abstract/document/ 7963104 13

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a4ca848-50c5-474f-b2df-cb1d1866b7ea · outbound

This paper cites Nonlinear motion control of multiple autonomous underwater vehicles,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Nonlinear motion control of multiple autonomous underwater vehicles,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e56f65e7-fff4-40bd-9e95-201dfc2a20e5 · outbound

This paper cites Coordinated path following of UA Vs over time-varying digraphs connected in an integral sense,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Coordinated path following of UA Vs over time-varying digraphs connected in an integral sense,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04f055c1-d542-422c-ac02-72f63cee3b9f · outbound

This paper cites Game-theoretic coordination for time-critical missions of UA V systems,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Game-theoretic coordination for time-critical missions of UA V systems,

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-07-13T18:49:49.171604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation dbb71a48-00a2-4a12-b4e5-a5a556ed6b89 · outbound

This paper cites Distributed model predictive control for consensus of sampled-data multi-agent systems with double-integrator dynamics,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Distributed model predictive control for consensus of sampled-data multi-agent systems with double-integrator dynamics,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4b008b6-8027-44f6-8601-7d764436bc58 · outbound

This paper cites Model predictive control schemes for consensus in multi-agent systems with single- and double-integrator dynamics,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Model predictive control schemes for consensus in multi-agent systems with single- and double-integrator dynamics,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d373418-06df-4e2b-b680-aa222a6de50f · outbound

This paper cites RotorPy: A Python-based Multirotor Simulator with Aerodynamics for Education and Research.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach RotorPy: A Python-based Multirotor Simulator with Aerodynamics for Education and Research

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c52db6e-52fe-413f-af32-a682919864d4 · outbound

This paper cites Coordinated path-following in the presence of communication losses and time delays,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Coordinated path-following in the presence of communication losses and time delays,

Reference 20

Resolution: verified exact; doi, observed 2026-07-13T18:49:49.152304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 428a2d04-0137-4b9e-a5d4-2f031f5c3ee7 · outbound

This paper cites an unresolved cited work.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fbd6891-d81d-4b90-9441-ae8e755723ee · outbound

This paper cites Applied optimal control: Optimization, estimation, and control,.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Applied optimal control: Optimization, estimation, and control,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e538ae5b-9dd4-449e-b141-16196f331561 · outbound

This paper cites Flight PID controller design for a UA V quadrotor.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Flight PID controller design for a UA V quadrotor

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85d1f74a-6d2e-4334-8a53-b68f43f29f7b · outbound

This paper cites A 3d path-following approach for a multirotor uav on so (3),.

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach A 3d path-following approach for a multirotor uav on so (3),

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1226be0c-291a-4c83-ac74-c65ffdecfc42 · outbound

This paper cites Biggs,�� .

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach Biggs,��

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T18:40:30.767489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.