Paper Citation Record · LEDGER

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication

As of 9 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2601.00219.

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

pith.paper-citation-record.v1
2601.00219 v2

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T13:11:27.931233Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

44 of 44 outbound references displayed

verified exact8
verified fuzzy0
unresolved36
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d166ee3f-ee2c-49a6-9ad6-95cfbe9e1ac9 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:22.642694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c76a9fe-32c9-4e36-88df-cef3a04f1a74 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:22.732676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bd83a9d-a38e-4d64-931a-878456afc219 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:22.891115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dec6803a-2b17-473f-ad1b-f872422a214b · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:23.025814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 524ca1ac-30a8-4eeb-818c-101a3237c33f · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:23.138692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2103d6f9-9642-4697-a15c-2a68fd1b3de6 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-03T13:13:32.908992Z

Source-reported events for the cited work

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

Observation 2a7c4b51-e705-4239-85d4-efacdb65ac72 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-03T13:13:32.692040Z

Source-reported events for the cited work

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

Observation 5ac9bc78-a6b2-450f-b22a-7fb8c2f94a56 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:23.543617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96e1e025-ea6a-4cad-a665-1453915e9f34 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-03T13:13:32.497466Z

Source-reported events for the cited work

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

Observation 65c807b8-24a4-48cc-9382-a574e54a7b8b · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:23.727213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8f2f9a3-dd38-41fe-8071-85f2e54f49f5 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:23.806396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37dda701-4976-4c29-8ee7-bc7ae10dbf6a · outbound

This paper cites Cover and Joy A.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Cover and Joy A

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:23.972986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72f0e3fa-a0fb-4966-8920-1b42bd56e9cf · outbound

This paper cites Lynch, and Larry Stockmeyer.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Lynch, and Larry Stockmeyer

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:24.145195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba014ef7-b929-44ab-bc6e-e67936c011b3 · outbound

This paper cites A survey of agent interoperability protocols: Model Context Protocol (MCP), Agent Communication Protocol (ACP), Agent-to-Agent Protocol (A2A), and Agent Network Protocol (ANP).

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication A survey of agent interoperability protocols: Model Context Protocol (MCP), Agent Communication Protocol (ACP), Agent-to-Agent Protocol (A2A), and Agent Network Protocol (ANP)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:24.300585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7df6c576-3220-4772-add6-4bf36a049d24 · outbound

This paper cites From LLM Reasoning to Autonomous AI Agents: A Comprehensive Review.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication From LLM Reasoning to Autonomous AI Agents: A Comprehensive Review

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:24.423099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99aa8d33-143c-4296-983b-b2db871e8609 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:24.532484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af7652da-e13e-4d97-9439-a85cb680b3c6 · outbound

This paper cites 1997.FIPA ACL Message Structure Specification.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication 1997.FIPA ACL Message Structure Specification

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:24.605840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7aa3ad2f-8b24-4352-9304-1cb09ead2490 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:24.719065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62d45e25-05e5-4127-ac19-c43c2ed45d06 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:24.851588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 347865a8-fc7a-4a0f-9461-21a8ceee839d · outbound

This paper cites Holzmann.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Holzmann

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:24.964491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4621c0bc-d12c-47fc-ad2b-d9419929f0e4 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:25.109487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a992582-b6d2-4b52-97aa-5441bbfd1e38 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:25.255859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 424cc629-8921-4d9f-97a4-7b93cbeeda8d · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:25.343193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0ea399e-1b94-4f3b-96d2-41a11b86060f · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:25.456540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 146a8dd5-5762-4b25-b04b-b27953dd365b · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:25.556481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d3365f3-3ca0-42bf-acc7-0a62281a989e · outbound

This paper cites Muldoon, G.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Muldoon, G

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:25.630472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a404ba30-d5a9-4130-ac67-9f9f8a07f075 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:25.787805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37a99f72-50f1-40f3-8b62-d52aebde5044 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-08-03T13:13:32.346741Z

Source-reported events for the cited work

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

Observation c331115a-5f2c-4b3e-8c2b-7af554e78159 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:26.073071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3257566-0f4b-474a-94fd-a7f01d98ba76 · outbound

This paper cites Rao and Michael P.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Rao and Michael P

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:26.183907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e94ff522-aabe-4a53-9db3-51831b0f3cda · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:26.298232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd337ea5-0cd8-4bd2-bd43-9b7891b99277 · outbound

This paper cites 2018.Agent-Based Computing in the Internet of Things: A Survey.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication 2018.Agent-Based Computing in the Internet of Things: A Survey

Reference 32

Resolution: verified exact; doi, observed 2026-08-03T13:13:32.156859Z

Source-reported events for the cited work

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

Observation 6eb0d24b-3f02-497d-ab42-a6b73c59b484 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:26.489348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6505ed75-78d7-47f4-8390-3f469f7e3589 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:26.656644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b21c2a4-7a90-442b-9f29-f05067b9a32c · outbound

This paper cites 2014.The Constrained Application Protocol (CoAP).

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication 2014.The Constrained Application Protocol (CoAP)

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:26.780856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02f7a8d5-74b5-437d-b38c-61fbef0f55c6 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:26.909632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 445aa773-8f71-4ca9-9f2c-03900774cba2 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-08-03T13:13:32.030872Z

Source-reported events for the cited work

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

Observation e0bb18b8-faeb-4dd9-bce9-489fa8f47bcd · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 38

Resolution: verified exact; doi, observed 2026-08-03T13:13:31.823330Z

Source-reported events for the cited work

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

Observation dcd10c10-01ad-4706-a045-d96ac182b79e · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:27.250464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05707e76-3197-43f7-8b6e-596bc9e628a4 · outbound

This paper cites 1999.Multiagent systems: a modern approach to distributed artificial intelligence.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication 1999.Multiagent systems: a modern approach to distributed artificial intelligence

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:27.389196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1f4380e-bbed-4f2c-8789-e859578c2c99 · outbound

This paper cites 2009.An Introduction to MultiAgent Systems(2nd ed.).

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication 2009.An Introduction to MultiAgent Systems(2nd ed.)

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:27.586317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a7c85f0-17f4-40b0-97cf-4e659b7ac4c0 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 42

Resolution: verified exact; doi, observed 2026-08-03T13:13:31.634397Z

Source-reported events for the cited work

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

Observation 3d179052-ba3f-4025-a87c-8c23ce767f17 · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:27.843413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fc81ac4-9f6d-4e5a-b704-14b77ae0026a · outbound

This paper cites an unresolved cited work.

{\mu}ACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-03T13:11:27.931233Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.