Paper Citation Record · LEDGER

On the Meaning of Transition System Specifications

As of 16 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:1908.08635.

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

pith.paper-citation-record.v1
1908.08635 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:43:05.331188Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

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

24 of 24 outbound references displayed

verified exact11
verified fuzzy5
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ebc8168d-0a7b-462d-a5f8-40c80cfde9af · outbound

This paper cites Austry & G.

On the Meaning of Transition System Specifications Austry & G

Reference 1

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.649426Z

Source-reported events for the cited work

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

Observation 7507f0ba-0cfa-4233-9342-e09b73c2d2a4 · outbound

This paper cites Baldan, A.

On the Meaning of Transition System Specifications Baldan, A

Reference 2

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.627205Z

Source-reported events for the cited work

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

Observation d8acc5c6-a865-4216-a6b3-ac67e29cd356 · outbound

This paper cites Bergstra & J.W.

On the Meaning of Transition System Specifications Bergstra & J.W

Reference 3

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.607833Z

Source-reported events for the cited work

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

Observation 7d9e25c7-8284-4a52-9828-04f425b0487a · outbound

This paper cites Bres, R.J.

On the Meaning of Transition System Specifications Bres, R.J

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:43:05.907318Z

Source-reported events for the cited work

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

Observation 3d37789c-9b94-447a-9186-a6aa8ce148be · outbound

This paper cites Brookes, C.A.R.

On the Meaning of Transition System Specifications Brookes, C.A.R

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T11:43:05.219979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f13b7877-1aee-420b-8d2c-9ff85fbe249f · outbound

This paper cites Fokkink (2000): Introduction to Process Algebra.

On the Meaning of Transition System Specifications Fokkink (2000): Introduction to Process Algebra

Reference 6

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.574367Z

Source-reported events for the cited work

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

Observation a1673878-98f4-40ed-bd8a-70980ee862a4 · outbound

This paper cites Fokkink, R.J.

On the Meaning of Transition System Specifications Fokkink, R.J

Reference 7

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.553603Z

Source-reported events for the cited work

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

Observation 4082bd89-f885-49cb-8919-a5d7b68e806f · outbound

This paper cites Gadducci & U.

On the Meaning of Transition System Specifications Gadducci & U

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:43:05.891043Z

Source-reported events for the cited work

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

Observation ff1d195a-49e5-4a52-9112-af6756859166 · outbound

This paper cites van Glabbeek (1993): Full abstraction in structural operational semantics (extended abstract).

On the Meaning of Transition System Specifications van Glabbeek (1993): Full abstraction in structural operational semantics (extended abstract)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:43:05.876392Z

Source-reported events for the cited work

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

Observation e2fc502c-495a-4dc3-b67e-3c27868b3e4e · outbound

This paper cites van Glabbeek (1994): On the expressiveness of ACP (extended abstract).

On the Meaning of Transition System Specifications van Glabbeek (1994): On the expressiveness of ACP (extended abstract)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T11:43:05.248464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cbe1055-d803-4c55-a67e-cc1da144ac6c · outbound

This paper cites van Glabbeek (2004): The Meaning of Negative Premises in Transition System Speci ﬁcations II.

On the Meaning of Transition System Specifications van Glabbeek (2004): The Meaning of Negative Premises in Transition System Speci ﬁcations II

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T11:43:05.253788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe34872a-6bce-4ad9-aec2-8678fa8587c6 · outbound

This paper cites van Glabbeek (2011): Bisimulation.

On the Meaning of Transition System Specifications van Glabbeek (2011): Bisimulation

Reference 12

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.513594Z

Source-reported events for the cited work

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

Observation 66616ac5-0754-41e3-b72c-f844f2a88103 · outbound

This paper cites van Glabbeek (2017): Lean and Full Congruence F ormats for Recursion.

On the Meaning of Transition System Specifications van Glabbeek (2017): Lean and Full Congruence F ormats for Recursion

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T11:43:05.266923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32aeea96-5fde-444d-a369-3869279c433d · outbound

This paper cites van Glabbeek (2018): A Theory of Encodings and Expressiveness.

On the Meaning of Transition System Specifications van Glabbeek (2018): A Theory of Encodings and Expressiveness

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T11:43:05.272552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 865db0bf-9da9-468a-964d-fc22c084fb6d · outbound

This paper cites Groote (1993): Transition System Speciﬁcations with Negative Premises.

On the Meaning of Transition System Specifications Groote (1993): Transition System Speciﬁcations with Negative Premises

Reference 15

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.478658Z

Source-reported events for the cited work

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

Observation 198e632b-e52b-4095-85d9-4fdb8f73b5e6 · outbound

This paper cites Groote & F.W.

On the Meaning of Transition System Specifications Groote & F.W

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T11:43:05.285423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2128ceae-256e-43fc-b190-849d5b2bfb77 · outbound

This paper cites Larsen & X.

On the Meaning of Transition System Specifications Larsen & X

Reference 17

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.446242Z

Source-reported events for the cited work

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

Observation ff9127c2-9ba3-4927-8f48-a292c131e2f6 · outbound

This paper cites Lynch & F.W.

On the Meaning of Transition System Specifications Lynch & F.W

Reference 18

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.427544Z

Source-reported events for the cited work

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

Observation 105b6125-972c-4e72-922d-137c07231b3f · outbound

This paper cites Manin (1977): A Course in Mathematical Logic.

On the Meaning of Transition System Specifications Manin (1977): A Course in Mathematical Logic

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:43:05.861021Z

Source-reported events for the cited work

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

Observation 346a6f5c-d287-4be1-bd23-00b6ee3cd8f3 · outbound

This paper cites Milner (1983): Calculi for synchrony and asynchrony.

On the Meaning of Transition System Specifications Milner (1983): Calculi for synchrony and asynchrony

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T11:43:05.307086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 025d2b8e-70e0-483d-a8e4-8538b77d1e9c · outbound

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

On the Meaning of Transition System Specifications Milner (1990): Operational and algebraic semantics of concurrent process es

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:43:05.844240Z

Source-reported events for the cited work

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

Observation 42dafb80-a6c8-46af-8d84-e3a30c558334 · outbound

This paper cites Plotkin (2004): A Structural Approach to Operational Semantics.

On the Meaning of Transition System Specifications Plotkin (2004): A Structural Approach to Operational Semantics

Reference 22

Resolution: verified exact; doi, observed 2026-08-14T11:43:05.396202Z

Source-reported events for the cited work

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

Observation 820f1eb9-e526-42e5-b1a6-032ec95821a5 · outbound

This paper cites Rensink (2000): Bisimilarity of Open T erms.

On the Meaning of Transition System Specifications Rensink (2000): Bisimilarity of Open T erms

Reference 23

Resolution: verified exact; raw_fallback, observed 2026-08-14T11:43:05.748036Z

Source-reported events for the cited work

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

Observation ed5a6826-5627-41ac-83ab-9b29a7fe67d4 · outbound

This paper cites de Simone (1985): Higher-level synchronising devices in MEIJE -SCCS.

On the Meaning of Transition System Specifications de Simone (1985): Higher-level synchronising devices in MEIJE -SCCS

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-14T11:43:05.331188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.