Paper Citation Record · LEDGER

Compositional specification in rewriting logic

As of 21 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:1908.11769.

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

pith.paper-citation-record.v1
1908.11769 v3

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T10:14:30.188682Z

measured 20 of 20 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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

20 of 20 outbound references displayed

verified exact0
verified fuzzy18
unresolved1
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5f807768-1a86-4d39-87f7-7af3982c244e · outbound

This paper cites In Communi- cating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers , A.

Compositional specification in rewriting logic In Communi- cating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers , A

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.222194Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f7127917-86b9-40f8-a537-f3c450ef1e60 · outbound

This paper cites Verdejo, A.

Compositional specification in rewriting logic Verdejo, A

Reference 204

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.234943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 726a2dcf-08df-445b-9296-d68e4aed603e · outbound

This paper cites Kindler, E.

Compositional specification in rewriting logic Kindler, E

Reference 1241

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.359937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d480f3fe-135e-4697-9507-0641857a4417 · outbound

This paper cites In Ad- vances in Petri nets: APN 1987 , G.

Compositional specification in rewriting logic In Ad- vances in Petri nets: APN 1987 , G

Reference 1988

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.285793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 59ee80d8-69af-40fd-a8cf-2a9dd85d31c9 · outbound

This paper cites In Re- cent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, Tarquinia, Italy, June 1997, Selected Papers.

Compositional specification in rewriting logic In Re- cent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, Tarquinia, Italy, June 1997, Selected Papers

Reference 1997

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.273427Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 74448993-576f-437a-8245-8e3cf1dca8b3 · outbound

This paper cites In CONCUR 2000—Concurrency Theory: 11th International Conference , C.

Compositional specification in rewriting logic In CONCUR 2000—Concurrency Theory: 11th International Conference , C

Reference 2000

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.431138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation aa47e30a-8ebd-4753-8094-5f9a8613636e · outbound

This paper cites In Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001, D.

Compositional specification in rewriting logic In Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001, D

Reference 2001

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.371458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation de3ca548-cadd-44a7-a7c0-5708278157f6 · outbound

This paper cites In Proceedings of the Fifth International Workshop on Rewriting Logic and Its Appli- cations (WRLA 2004), N.

Compositional specification in rewriting logic In Proceedings of the Fifth International Workshop on Rewriting Logic and Its Appli- cations (WRLA 2004), N

Reference 2004

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.347105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0691e4ec-5505-4950-a9cd-974388cacf40 · outbound

This paper cites In FM 2005: Formal Methods , J.

Compositional specification in rewriting logic In FM 2005: Formal Methods , J

Reference 2005

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.419795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 487d3aa7-9333-4c7f-b989-d20c63cef286 · outbound

This paper cites In Proceedings of the 6th International Workshop on Strategies in Automated Deduction (STRATEGIES 2006), M.

Compositional specification in rewriting logic In Proceedings of the 6th International Workshop on Strategies in Automated Deduction (STRATEGIES 2006), M

Reference 2007

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.407400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 99fed922-e150-45a6-a361-74614c357804 · outbound

This paper cites In Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08.

Compositional specification in rewriting logic In Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08

Reference 2008

Resolution: malformed identifier; raw_fallback, observed 2026-08-14T10:14:30.443029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 46bf0aaa-159d-433f-a05b-e6361d69c097 · outbound

This paper cites In Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008), G.

Compositional specification in rewriting logic In Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008), G

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.332769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 17955bcd-0b16-4d4a-a239-d30d48c0c348 · outbound

This paper cites an unresolved cited work.

Compositional specification in rewriting logic Unresolved cited work

Reference 2010

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:14:30.454039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b59a012d-9646-44e0-b61f-f2797b395745 · outbound

This paper cites Proceedings - 2012 19th International Symposium on Temporal Representation and Reasoning, TIME 2012 , 13–20.

Compositional specification in rewriting logic Proceedings - 2012 19th International Symposium on Temporal Representation and Reasoning, TIME 2012 , 13–20

Reference 2012

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.259423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 327d3048-c167-4830-b578-747b4b724791 · outbound

This paper cites In From Programs to Systems.

Compositional specification in rewriting logic In From Programs to Systems

Reference 2014

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.383038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 815df6c8-b66e-4dbd-b37a-3eac6da68d6f · outbound

This paper cites In Developements in Computational Models: DCM 2015 Proc.

Compositional specification in rewriting logic In Developements in Computational Models: DCM 2015 Proc

Reference 2016

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.246584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ff2f41f1-deeb-4176-8d81-67f9d1f56648 · outbound

This paper cites In 7th Conference on Algebra and Coalgebra in Com- puter Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia , F.

Compositional specification in rewriting logic In 7th Conference on Algebra and Coalgebra in Com- puter Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia , F

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.395310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f59a4a76-9aa1-4ef0-87db-d094953021d4 · outbound

This paper cites Mart´ın, ´O., Verdejo, A.

Compositional specification in rewriting logic Mart´ın, ´O., Verdejo, A

Reference 8373

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.319766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d0180ebd-8c45-41fe-a863-22e5de70ae34 · outbound

This paper cites Mart´ın,´O., Verdejo, A., and Mart´ı-Oliet, N.2018.

Compositional specification in rewriting logic Mart´ın,´O., Verdejo, A., and Mart´ı-Oliet, N.2018

Reference 9938

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.297600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d1949700-18f4-44e9-abaf-36327401a6fa · outbound

This paper cites Mart´ın, ´O., Verdejo, A.

Compositional specification in rewriting logic Mart´ın, ´O., Verdejo, A

Reference 9942

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:14:30.308662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Pith citing papers

No inbound Pith citation observations are available.