Paper Citation Record · LEDGER

Justness: A Completeness Criterion for Capturing Liveness Properties

As of 17 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:1909.00286.

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

pith.paper-citation-record.v1
1909.00286 v2

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T06:06:30.134136Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

37 of 37 outbound references displayed

verified exact12
verified fuzzy7
unresolved17
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 84de2299-8c77-49b4-bccf-7150e15719b3 · outbound

This paper cites an unresolved cited work.

Justness: A Completeness Criterion for Capturing Liveness Properties Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:29.935794Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6f5a590-18c5-4472-b21b-b3001a40b42f · outbound

This paper cites Bednarczyk (1987): Categories of asynchronous systems.

Justness: A Completeness Criterion for Capturing Liveness Properties Bednarczyk (1987): Categories of asynchronous systems

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T06:06:30.973039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2a83b25f-7832-4eb9-91fb-2f6bf90ade60 · outbound

This paper cites Bouwman (2018): Liveness analysis in process algebra: simpler techniques to model mutex algorithms.

Justness: A Completeness Criterion for Capturing Liveness Properties Bouwman (2018): Liveness analysis in process algebra: simpler techniques to model mutex algorithms

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T06:06:30.957748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e7c31f54-52db-4eae-b82f-d7558f877bdb · outbound

This paper cites Coppo, M.

Justness: A Completeness Criterion for Capturing Liveness Properties Coppo, M

Reference 4

Resolution: verified exact; doi, observed 2026-08-14T06:06:30.410811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e7660bb6-e094-45ec-9afd-9edf6930c696 · outbound

This paper cites De Nicola & F.W.

Justness: A Completeness Criterion for Capturing Liveness Properties De Nicola & F.W

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:29.957807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc0578e7-9f68-4635-b21e-0d2bcb4ded01 · outbound

This paper cites Degano, R.

Justness: A Completeness Criterion for Capturing Liveness Properties Degano, R

Reference 6

Resolution: verified exact; doi, observed 2026-08-14T06:06:30.395752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1cb7a207-3015-4782-aa16-6e11f0a1058d · outbound

This paper cites Dyseryn, R.J.

Justness: A Completeness Criterion for Capturing Liveness Properties Dyseryn, R.J

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:29.968742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5af83e5-3902-42c3-be9f-59716aec4641 · outbound

This paper cites Emerson & E.M.

Justness: A Completeness Criterion for Capturing Liveness Properties Emerson & E.M

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:29.973772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74bf9ed5-d34a-4186-8030-f3f980f7d489 · outbound

This paper cites Emerson & J.Y.

Justness: A Completeness Criterion for Capturing Liveness Properties Emerson & J.Y

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:29.978685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e697564-5726-4dcf-bb01-71814c78dfad · outbound

This paper cites Fehnker, R.J.

Justness: A Completeness Criterion for Capturing Liveness Properties Fehnker, R.J

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:29.984520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aaec4d43-2132-45da-9a0e-92e7e73a98fb · outbound

This paper cites A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.

Justness: A Completeness Criterion for Capturing Liveness Properties A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-14T06:06:30.743888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9c230463-42b3-4876-8a85-2045b52326c1 · outbound

This paper cites Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.

Justness: A Completeness Criterion for Capturing Liveness Properties Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-14T06:06:30.723117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f82fced7-9149-4781-bd02-0dd6f9051e4a · outbound

This paper cites Ensuring Liveness Properties of Distributed Systems (A Research Agenda).

Justness: A Completeness Criterion for Capturing Liveness Properties Ensuring Liveness Properties of Distributed Systems (A Research Agenda)

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-14T06:06:30.702573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1b55cad0-1be8-43dd-aade-970c668540cd · outbound

This paper cites van Glabbeek, U.

Justness: A Completeness Criterion for Capturing Liveness Properties van Glabbeek, U

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.006826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a6c6678-69bf-4b52-9534-a7b1ff00f26b · outbound

This paper cites van Glabbeek, U.

Justness: A Completeness Criterion for Capturing Liveness Properties van Glabbeek, U

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.012875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf1325ce-b2e5-458b-aaaa-b87a7e072981 · outbound

This paper cites Progress, Fairness and Justness in Process Algebra.

Justness: A Completeness Criterion for Capturing Liveness Properties Progress, Fairness and Justness in Process Algebra

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-14T06:06:30.681180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7a9788c7-66e8-4e01-ab1e-21c96d929912 · outbound

This paper cites van Glabbeek & P.

Justness: A Completeness Criterion for Capturing Liveness Properties van Glabbeek & P

Reference 17

Resolution: verified exact; doi, observed 2026-08-14T06:06:30.333812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 64ec39d8-b25d-4471-b1b9-98ae1eae79d8 · outbound

This paper cites van Glabbeek & P.

Justness: A Completeness Criterion for Capturing Liveness Properties van Glabbeek & P

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.036743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6552b7cb-324d-4edd-b3d2-5664ab11cfeb · outbound

This paper cites van Glabbeek, P.

Justness: A Completeness Criterion for Capturing Liveness Properties van Glabbeek, P

Reference 19

Resolution: verified exact; doi, observed 2026-08-14T06:06:30.309439Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a08f5187-5262-461d-ad0d-ff025ec5eb0f · outbound

This paper cites van Glabbeek & F.W.

Justness: A Completeness Criterion for Capturing Liveness Properties van Glabbeek & F.W

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.048264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b70f015a-9137-4828-92ec-fd3575fa7b74 · outbound

This paper cites Kuiper & W.-P.

Justness: A Completeness Criterion for Capturing Liveness Properties Kuiper & W.-P

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T06:06:30.941229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation dfe7ef3f-db6d-46a5-bcc8-9fd361dcd046 · outbound

This paper cites Lamport (1977): Proving the correctness of multiprocess programs.

Justness: A Completeness Criterion for Capturing Liveness Properties Lamport (1977): Proving the correctness of multiprocess programs

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.057822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fb7be2d-5fb6-406a-816e-2000104c2a8a · outbound

This paper cites Lamport (2000): Fairness and hyperfairness.

Justness: A Completeness Criterion for Capturing Liveness Properties Lamport (2000): Fairness and hyperfairness

Reference 23

Resolution: verified exact; doi, observed 2026-08-14T06:06:30.283951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation bbc85e91-2826-4374-9694-dc937e5e9f05 · outbound

This paper cites Milner (1990): Operational and algebraic semantics of concurrent processes.

Justness: A Completeness Criterion for Capturing Liveness Properties Milner (1990): Operational and algebraic semantics of concurrent processes

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T06:06:30.926817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation fda23218-2a76-456c-af93-4ec5d479a139 · outbound

This paper cites Milner (1980): A Calculus of Communicating Systems.

Justness: A Completeness Criterion for Capturing Liveness Properties Milner (1980): A Calculus of Communicating Systems

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.072667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45579ac9-b72f-443a-8055-6c7defa1a21a · outbound

This paper cites Misra (1988): A Rebuttal of Dijkstra’s Position on Fairness.

Justness: A Completeness Criterion for Capturing Liveness Properties Misra (1988): A Rebuttal of Dijkstra’s Position on Fairness

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T06:06:30.911832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 47c2ff17-cb8c-46db-b552-102f2eb5b6ff · outbound

This paper cites Misra (2001): A Discipline of Multiprogramming — Programming Theory for Distributed Applications.

Justness: A Completeness Criterion for Capturing Liveness Properties Misra (2001): A Discipline of Multiprogramming — Programming Theory for Distributed Applications

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.084234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de7ea9f4-7e5b-4123-8e7b-da5e8b8f0367 · outbound

This paper cites Olderog (1987): Operational Petri net semantics for CCSP.

Justness: A Completeness Criterion for Capturing Liveness Properties Olderog (1987): Operational Petri net semantics for CCSP

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.089334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ebe164b-d2b8-475a-a878-f42137551cf2 · outbound

This paper cites Olderog (1991): Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relation- ship.

Justness: A Completeness Criterion for Capturing Liveness Properties Olderog (1991): Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relation- ship

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T06:06:30.897168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 507b0870-eadb-4e2e-9acd-7f8835071295 · outbound

This paper cites Owicki & L.

Justness: A Completeness Criterion for Capturing Liveness Properties Owicki & L

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.098803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efc646e0-645f-4201-ab72-49ff245f491a · outbound

This paper cites Pnueli (1977): The Temporal Logic of Programs.

Justness: A Completeness Criterion for Capturing Liveness Properties Pnueli (1977): The Temporal Logic of Programs

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.104086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9e282bc-14a8-4505-a56c-2af974038c3e · outbound

This paper cites Prasad (1991): A Calculus of Broadcasting Systems.

Justness: A Completeness Criterion for Capturing Liveness Properties Prasad (1991): A Calculus of Broadcasting Systems

Reference 32

Resolution: verified exact; doi, observed 2026-08-14T06:06:30.229935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 79821b83-075e-4eee-9c88-3958152f4b83 · outbound

This paper cites Reisig (2013): Understanding Petri Nets — Modeling Techniques, Analysis Methods, Case Studies.

Justness: A Completeness Criterion for Capturing Liveness Properties Reisig (2013): Understanding Petri Nets — Modeling Techniques, Analysis Methods, Case Studies

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-14T06:06:30.113940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cb41f66-1df8-4e3c-80b8-ed4cc65dc54c · outbound

This paper cites Shields (1985): Concurrent machines.

Justness: A Completeness Criterion for Capturing Liveness Properties Shields (1985): Concurrent machines

Reference 34

Resolution: verified exact; doi, observed 2026-08-14T06:06:30.201761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 944ff0f6-10fe-4c6e-97d3-1a2c9ecf8def · outbound

This paper cites Stark (1989): Concurrent transition systems.

Justness: A Completeness Criterion for Capturing Liveness Properties Stark (1989): Concurrent transition systems

Reference 35

Resolution: verified exact; doi, observed 2026-08-14T06:06:30.185181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7dff1271-e813-498f-81a4-fca876d8061f · outbound

This paper cites Winskel (1987): Event structures.

Justness: A Completeness Criterion for Capturing Liveness Properties Winskel (1987): Event structures

Reference 36

Resolution: malformed identifier; no resolver link, observed 2026-08-14T06:06:30.129116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 139e5fcd-75fd-4519-bbf1-e51d2f520ac8 · outbound

This paper cites Winskel & M.

Justness: A Completeness Criterion for Capturing Liveness Properties Winskel & M

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T06:06:30.880514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

No inbound Pith citation observations are available.