{"as_of":"2026-08-17T00:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:67956893a2193068a89c5de04bb2bf0838cafd75469d5eff6dcadbbab3293ec8","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:43:05.331188Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.08635/citation-record","integrity":"/paper/1908.08635/integrity","json":"/paper/1908.08635/citation-record.json","paper":"/paper/1908.08635"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(84)90067-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.642288Z","title":"Austry & G","venue":null,"work_id":"9b9fdf1f-4f27-4dbd-889f-3d83fa45a009","year":1984},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.195980Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:ab3e8fdbda430a7d170837849a1c4fa20543b032086b75ee6cce99a5897607e8","observation_id":"ebc8168d-0a7b-462d-a5f8-40c80cfde9af","resolution":{"observed_at":"2026-08-14T11:43:05.649426Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2007.09.004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.620186Z","title":"Baldan, A","venue":null,"work_id":"14185390-4e27-4d07-9a00-5af508ba95c1","year":2007},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.202562Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:6297c42ab9fcddd0b020885c60f6c5b9e335de2069b7a61c0463a209c8d04776","observation_id":"7507f0ba-0cfa-4233-9342-e09b73c2d2a4","resolution":{"observed_at":"2026-08-14T11:43:05.627205Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-13345-3_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.600952Z","title":"Bergstra & J.W","venue":null,"work_id":"0412466d-7d0e-47bc-9553-80237eae6fb3","year":1984},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.208340Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:8b667b09efb403943a07dceafddc76b7a462d3a16e323379825e9ccab7f15dbf","observation_id":"d8acc5c6-a865-4216-a6b3-ac67e29cd356","resolution":{"observed_at":"2026-08-14T11:43:05.607833Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.901589Z","title":"Bres, R.J","venue":null,"work_id":"b5b5fbb6-457f-4437-9a9c-96c479ae7760","year":2016},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.214032Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:cd450a71eb6d8482b2fba2b6f6669611cc88946744100cb6f1bf8d757cf24e68","observation_id":"7d9e25c7-8284-4a52-9828-04f425b0487a","resolution":{"observed_at":"2026-08-14T11:43:05.907318Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.219979Z","title":"Brookes, C.A.R","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.219979Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:db531b50e7243eb4d9b7995c8fec1290b61e8d85b0879953942b076b4e9762e8","observation_id":"3d37789c-9b94-447a-9186-a6aa8ce148be","resolution":{"observed_at":"2026-08-14T11:43:05.219979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-04293-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.568269Z","title":"Fokkink (2000): Introduction to Process Algebra","venue":null,"work_id":"a169b369-7e95-4b8c-8ea5-fa420914b210","year":2000},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.225935Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:dac546c083248eb8068b455ed9916c88d0cccd9894e0eb02690ca98cea8b3870","observation_id":"f13b7877-1aee-420b-8d2c-9ff85fbe249f","resolution":{"observed_at":"2026-08-14T11:43:05.574367Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur.2017.15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.548280Z","title":"Fokkink, R.J","venue":null,"work_id":"b1e35c25-e0eb-45b0-a773-fb815ab3b56a","year":2017},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.231513Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:301617d552ce81209278bae2ba44821305abf49a700f39520d4a0cf9e8f42ce4","observation_id":"a1673878-98f4-40ed-bd8a-70980ee862a4","resolution":{"observed_at":"2026-08-14T11:43:05.553603Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.886639Z","title":"Gadducci & U","venue":null,"work_id":"63eec18d-2dfc-4511-b9bc-ac4b693cbbb6","year":2000},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.238367Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:4dc863bead7845de440b5bc57a0729dad0a47d4b41cb0d10938ef9b8d5ac0e1c","observation_id":"4082bd89-f885-49cb-8919-a5d7b68e806f","resolution":{"observed_at":"2026-08-14T11:43:05.891043Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.871489Z","title":"van Glabbeek (1993): Full abstraction in structural operational semantics (extended abstract)","venue":null,"work_id":"a7c4bb53-e5ca-4c92-bf6e-cf0d5eca6e2e","year":1993},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.243245Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:1289d900647f7997b322414d1fd8169d3c307c35068bbee27cb4e71d665c34a5","observation_id":"ff1d195a-49e5-4a52-9112-af6756859166","resolution":{"observed_at":"2026-08-14T11:43:05.876392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.248464Z","title":"van Glabbeek (1994): On the expressiveness of ACP (extended abstract)","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.248464Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:cb2ab0599027662205102d86afe72ee89fd99217e40e10a727ca60569d97e4fa","observation_id":"e2fc502c-495a-4dc3-b67e-3c27868b3e4e","resolution":{"observed_at":"2026-08-14T11:43:05.248464Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.253788Z","title":"van Glabbeek (2004): The Meaning of Negative Premises in Transition System Speci fications II","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.253788Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:49a2c6f1eefb34b96e2f124faba714736d6a456804a84217ef32efe6024093cc","observation_id":"9cbe1055-d803-4c55-a67e-cc1da144ac6c","resolution":{"observed_at":"2026-08-14T11:43:05.253788Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-0-387-09766-4_149","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.505369Z","title":"van Glabbeek (2011): Bisimulation","venue":null,"work_id":"26ae20c3-0f63-4131-a7be-c4c9ef369f32","year":2011},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.259095Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:8f84114edc63f3b96bf0e8972fe8373a826a4eb6e7a5bcefe3966a0c18f1ab5c","observation_id":"fe34872a-6bce-4ad9-aec2-8678fa8587c6","resolution":{"observed_at":"2026-08-14T11:43:05.513594Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.266923Z","title":"van Glabbeek (2017): Lean and Full Congruence F ormats for Recursion","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.266923Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:dc5eee2ff36672b1484550a37f7ee84eac822879eb111dbb9a5c3347a3d9396e","observation_id":"66616ac5-0754-41e3-b72c-f844f2a88103","resolution":{"observed_at":"2026-08-14T11:43:05.266923Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.272552Z","title":"van Glabbeek (2018): A Theory of Encodings and Expressiveness","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.272552Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:8211475690971a6404a7e8341f1a30c986bc96bd31338883f8df5a1c11f34d0b","observation_id":"32aeea96-5fde-444d-a369-3869279c433d","resolution":{"observed_at":"2026-08-14T11:43:05.272552Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(93)90111-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.472468Z","title":"Groote (1993): Transition System Specifications with Negative Premises","venue":null,"work_id":"5ce42781-e8ff-4533-8b01-d500142f8d1d","year":1993},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.278980Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:2937f41244d33596fb3d5fbb74c8e78046e2ee1c1618297e01789ab39f488334","observation_id":"865db0bf-9da9-468a-964d-fc22c084fb6d","resolution":{"observed_at":"2026-08-14T11:43:05.478658Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.285423Z","title":"Groote & F.W","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.285423Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:58e9541673de19f965243c02b544950b717be141f5f34822dc04fa51e39c86ec","observation_id":"198e632b-e52b-4095-85d9-4fdb8f73b5e6","resolution":{"observed_at":"2026-08-14T11:43:05.285423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/logcom/1.6.761","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.440854Z","title":"Larsen & X","venue":null,"work_id":"2a3dcc07-4949-4b01-ae43-12b0fcc162aa","year":1991},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.290473Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:c21d9b26c1ebb68097cc2a11afc99da4806fd7c677d889d8ec7522f6df4f9a3a","observation_id":"2128ceae-256e-43fc-b190-849d5b2bfb77","resolution":{"observed_at":"2026-08-14T11:43:05.446242Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01211907","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.422609Z","title":"Lynch & F.W","venue":null,"work_id":"510311f1-9903-46a1-8f47-37d72a36c0d0","year":1996},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.296655Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:80f7a9c41ff007ba7e5b081be008b4a16ebc5b708d5450f0e9890a75020704ca","observation_id":"ff9127c2-9ba3-4927-8f48-a292c131e2f6","resolution":{"observed_at":"2026-08-14T11:43:05.427544Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.855642Z","title":"Manin (1977): A Course in Mathematical Logic","venue":null,"work_id":"ec3590fd-6767-47b3-8225-c8429f7b2ab2","year":1977},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.301912Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:bc5754752ff791f4e8f69efafd8f9c2b6c2ea4dff4f6dfab32fedbc32b5db84e","observation_id":"105b6125-972c-4e72-922d-137c07231b3f","resolution":{"observed_at":"2026-08-14T11:43:05.861021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.307086Z","title":"Milner (1983): Calculi for synchrony and asynchrony","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.307086Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:1e9cdedd08c6003e3aeacd116201c99baf7107b40172f28be43e89b5118aa5ba","observation_id":"346a6f5c-d287-4be1-bd23-00b6ee3cd8f3","resolution":{"observed_at":"2026-08-14T11:43:05.307086Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.837001Z","title":"Milner (1990): Operational and algebraic semantics of concurrent process es","venue":null,"work_id":"18251750-5d76-4401-8885-4267da10e304","year":1990},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.312244Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:67b852f68ff2b1cb03453baf0a51d95997ac7786a9d4f7ba4055133cef10caf6","observation_id":"025d2b8e-70e0-483d-a8e4-8538b77d1e9c","resolution":{"observed_at":"2026-08-14T11:43:05.844240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlap.2004.05.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.385350Z","title":"Plotkin (2004): A Structural Approach to Operational Semantics","venue":null,"work_id":"aedf2c5d-7280-424a-9e37-eb4c915a3544","year":2004},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.318726Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:d703ba32ee0afe6b818405ec521b0005581eb9ac7de75e7a97d5672160235d0f","observation_id":"42dafb80-a6c8-46af-8d84-e3a30c558334","resolution":{"observed_at":"2026-08-14T11:43:05.396202Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1999.2818","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.735177Z","title":"Rensink (2000): Bisimilarity of Open T erms","venue":null,"work_id":"6c6ff3bf-3943-49ee-ad88-1a6fa40da03f","year":2000},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.325279Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:20515b2d8df10d7f3dd34404288925e201360900f688b411bc3c88db5afdc594","observation_id":"820f1eb9-e526-42e5-b1a6-032ec95821a5","resolution":{"observed_at":"2026-08-14T11:43:05.748036Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:43:05.331188Z","title":"de Simone (1985): Higher-level synchronising devices in MEIJE -SCCS","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T11:43:05.331188Z"},"links":{"citing_paper":"/paper/1908.08635"},"observation_digest":"sha256:d0df3b6b8da6de7b220f0ee998aaf1885df1b45fe579b640b37b5b75cf1e487e","observation_id":"ed5a6826-5627-41ac-83ab-9b29a7fe67d4","resolution":{"observed_at":"2026-08-14T11:43:05.331188Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.08635","last_updated":"2019-08-23T01:56:37Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T18:51:00.020263Z","submitted_at":"2019-08-23T01:56:37Z","title":"On the Meaning of Transition System Specifications"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":11,"verified_fuzzy":5},"total_outbound_references":24},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:1908.08635."}