Paper Citation Record · LEDGER

On the k-synchronizability of systems

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

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

pith.paper-citation-record.v1
1909.01627 v2

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:18:06.767861Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

23 of 23 outbound references displayed

verified exact4
verified fuzzy4
unresolved8
parse uncertain0
malformed identifier7
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 56bc8fcf-2df2-4dc1-838d-2dc502518506 · outbound

This paper cites Formal Methods in System De - sign 52(3), 260–276 (2018).

On the k-synchronizability of systems Formal Methods in System De - sign 52(3), 260–276 (2018)

Reference 1

Resolution: verified exact; doi, observed 2026-08-14T05:18:06.865691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9a79c150-9606-4499-aa4d-6f00bb479a6a · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-14T05:18:06.853954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b65e3c17-0050-4cf5-98d5-e9ba142baa6f · outbound

This paper cites In: Chockl er, H., Weissenbacher, G.

On the k-synchronizability of systems In: Chockl er, H., Weissenbacher, G

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-14T05:18:06.698590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dce31820-5c46-408b-8fe1-aa3f9576a423 · outbound

This paper cites In: Alur, R., Peled, D.A.

On the k-synchronizability of systems In: Alur, R., Peled, D.A

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-14T05:18:06.702335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 640eb4f6-105b-49d6-9e25-9571c0b3fa70 · outbound

This paper cites In: Bourne z, O., Potapov, I.

On the k-synchronizability of systems In: Bourne z, O., Potapov, I

Reference 6

Resolution: malformed identifier; no resolver link, observed 2026-08-14T05:18:06.706303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5071c9ae-730c-47f5-bdc8-ef8a1fae9859 · outbound

This paper cites In: Dolev, D.

On the k-synchronizability of systems In: Dolev, D

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T05:18:06.710056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdd13834-1c77-4aec-849f-e78d0f74e58f · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-14T05:18:06.819543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation eb99946d-8ac4-476a-8f8c-9e9f5bb8b2a4 · outbound

This paper cites In: Chatzigiannakis, I., Indyk, P., Kuhn, F., Muscholl, A.

On the k-synchronizability of systems In: Chatzigiannakis, I., Indyk, P., Kuhn, F., Muscholl, A

Reference 9

Resolution: verified exact; doi, observed 2026-08-14T05:18:06.808671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e6af54ed-041b-47ac-a46f-80d22052ad54 · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:18:07.103390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 07cb3048-0f9b-4e54-afa0-76fa032fd0a6 · outbound

This paper cites , Jhala, R.: Pre- tend synchrony: synchronous veriﬁcation of asynchronous d istributed pro- grams.

On the k-synchronizability of systems , Jhala, R.: Pre- tend synchrony: synchronous veriﬁcation of asynchronous d istributed pro- grams

Reference 11

Resolution: malformed identifier; no resolver link, observed 2026-08-14T05:18:06.723230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65f087b3-a338-4af8-8589-47c0320c979d · outbound

This paper cites In: Schewe, S., Zhang, L.

On the k-synchronizability of systems In: Schewe, S., Zhang, L

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-08-14T05:18:06.726820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 019798de-bf40-4e12-87cd-d95ed51ec186 · outbound

This paper cites In: Ramakrishnan, C.R., Rehof, J.

On the k-synchronizability of systems In: Ramakrishnan, C.R., Rehof, J

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-08-14T05:18:06.730064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5fb8795-b8c9-45d9-af80-8a4d68734ccf · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T05:18:06.733305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8dc02bf-736c-49f3-b4a6-8d9507555cdb · outbound

This paper cites In: D ediu, A., Fernau, H., Mart ´ ın-Vide, C.

On the k-synchronizability of systems In: D ediu, A., Fernau, H., Mart ´ ın-Vide, C

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-08-14T05:18:06.736538Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ee3c995-8b28-4224-9e51-1555b8e9c3d4 · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:18:07.087069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cb78d35a-3d97-4042-83b6-3aec4ff876db · outbound

This paper cites We want to show that if this is the case we can reconstruct a cyclic path in the extended conﬂict graph, which is a contradiction.

On the k-synchronizability of systems We want to show that if this is the case we can reconstruct a cyclic path in the extended conﬂict graph, which is a contradiction

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:18:07.077228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9d3b236b-ef86-47f8-8aec-6292aba63edd · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:18:07.067432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8fdb9e30-b5f2-45ff-9819-d5dce5465015 · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:18:07.057640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 37bce56f-d665-4524-a911-2034fa285556 · outbound

This paper cites The ﬁrst two points easily follow from the deﬁnition of e,k = = =⇒ feas.

On the k-synchronizability of systems The ﬁrst two points easily follow from the deﬁnition of e,k = = =⇒ feas

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:18:07.046983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6726e327-9871-48cc-970d-e97b5388c3ad · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:18:07.037034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5e8a45a9-ac9f-44ae-a6fb-212338aeac24 · outbound

This paper cites an unresolved cited work.

On the k-synchronizability of systems Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:18:07.026267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation aa97352f-ad2a-4b4d-809f-34e995058f41 · outbound

This paper cites If sawRS = True then ∃ei where sawRS = False and sawRS′ = True.

On the k-synchronizability of systems If sawRS = True then ∃ei where sawRS = False and sawRS′ = True

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:18:07.016540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 00bfd4c0-fd7d-474b-bbe7-7f78c4c08740 · outbound

This paper cites As previously, e′ is feasible by Lemma 4.

On the k-synchronizability of systems As previously, e′ is feasible by Lemma 4

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:18:07.006219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.