{"as_of":"2026-08-16T09:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f313d4009d6a8837824c738aba3ad8dd33690bb601cfaa79e815fe6d5886004e","coverage":[{"denominator":60,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":60,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:40:14.750847Z","state":"measured"},{"denominator":60,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":60,"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.08633/citation-record","integrity":"/paper/1908.08633/integrity","json":"/paper/1908.08633/citation-record.json","paper":"/paper/1908.08633"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01191894","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.259814Z","title":"Arun-Kummar & M","venue":null,"work_id":"a015933b-a126-489c-beff-564ac8ac93dd","year":1992},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.474725Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:d2356af7a8e7457c3175062786cf433b42f8ebf94211ea38b9e462b9c3551fca","observation_id":"c1ab6133-5f7f-4ed5-8205-cbaf266525fc","resolution":{"observed_at":"2026-08-14T11:40:15.264278Z","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:40:14.480396Z","title":"Baeten (2005): A brief history of process algebra","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.480396Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:b888b437efaf6305347bf0b5459ee54244e1cd68b891d9ade9dcbabb008c0f3a","observation_id":"5bdcbf0a-7741-4e76-bba1-ca4b08f602e9","resolution":{"observed_at":"2026-08-14T11:40:14.480396Z","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:40:14.485655Z","title":"Baldamus, J","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.485655Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:07f722f9f43ad85e60ad3b6f414ccf48554914cfddcb441568ca8fb745a51ff0","observation_id":"e3525244-4392-4f1a-86cc-18b0f98af5ea","resolution":{"observed_at":"2026-08-14T11:40:14.485655Z","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:40:15.952142Z","title":"Bergstra & J.W","venue":null,"work_id":"7055957c-b423-43ba-9751-cf03b659536f","year":1982},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.490779Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:36144e9d0c9e38d4e69d3ae266e2280242e05065c17b1ce9fd65c7257bf3accf","observation_id":"90fa5ec6-c086-41f1-bfa3-157cdb441807","resolution":{"observed_at":"2026-08-14T11:40:15.956938Z","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.1007/3-540-54430-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.225565Z","title":"Boer & C","venue":null,"work_id":"6750e435-8285-4fe6-b3ff-fe21a05d07ce","year":1991},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.495525Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:7ca7edefdc55cea0cec09888b8ef3b4153c3ba5ef878a9560e0ae31447eed815","observation_id":"de2f6607-c337-4683-b695-76eee63dda25","resolution":{"observed_at":"2026-08-14T11:40:15.230132Z","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:40:15.936552Z","title":"Boudol (1992): Asynchrony and the π -calculus (note)","venue":null,"work_id":"5ab0469d-d015-449c-a98b-3469a29987cc","year":1992},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.500310Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:0ca8d7a0a1dc3bc7f69c41bf5ecdfec9159a40c93be640b0eab9e76e6466f494","observation_id":"797fb1ea-f6e9-4479-81da-cffab45938a0","resolution":{"observed_at":"2026-08-14T11:40:15.941694Z","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:40:14.505625Z","title":"Buckley & A","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.505625Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:7437cc1933863a3f74742885790ba544fb522ff5504f5e3e8a6da7283326c6ad","observation_id":"4f31f933-22ee-4aec-964b-0347fa81b0d0","resolution":{"observed_at":"2026-08-14T11:40:14.505625Z","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:40:14.510387Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.510387Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:a443e4e2ed72a88e2565ec0a42da61cc0842db82409961df81dc99aac9c04a7a","observation_id":"97f5d3f1-b038-4b57-a55d-e5deb5e2eefd","resolution":{"observed_at":"2026-08-14T11:40:14.510387Z","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/j.entcs.2007.11.006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.200646Z","title":"Cacciagrano, F","venue":null,"work_id":"19a1ab1e-e680-4a4b-bc69-1f726177e588","year":2008},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.515124Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:d6fcc8822f5e27569d00b96e3c6e05cc97f5aa97fece2f444ad32d20fa3c94ca","observation_id":"bdcba90e-2ca3-49b1-87b6-d838a056647d","resolution":{"observed_at":"2026-08-14T11:40:15.204976Z","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:40:14.519811Z","title":"Carbone & S","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.519811Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:3801561359c163a5303f0f5c5ab434895e90050777f43fcd5f1dff351d1a5d56","observation_id":"48daf6c9-22ab-4939-8f09-0f19aaa7f0b2","resolution":{"observed_at":"2026-08-14T11:40:14.519811Z","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":"7721.23780","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.707729Z","title":"Fournet & G","venue":null,"work_id":"8f7dbebf-24e8-46d8-a991-62d6048a4846","year":1996},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.524252Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:6a2d0bd09eeebef1a8f1f7f4734eabf94a8454ffe816a086344e63370c79aab8","observation_id":"b4925b87-4e4c-4a33-b04f-495bd6344c8c","resolution":{"observed_at":"2026-08-14T11:40:15.715746Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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:40:14.529068Z","title":"Fu (2016): Theory of Interaction","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.529068Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:01529682f02aceaf5e8b47c2dbabcad658c1694d06ef60540a657a9ac9c95f1d","observation_id":"8fb698a6-7e16-45f5-ab8d-cad22fe98647","resolution":{"observed_at":"2026-08-14T11:40:14.529068Z","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/j.tcs.2009.11.011","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.165599Z","title":null,"venue":null,"work_id":"6572dc0b-5cbe-4aba-ad0e-24e66e54e103","year":2010},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.533560Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:619e479be1ba456a44aeb3fc26af07609da3f890fc66e977ad4f216b2598632f","observation_id":"46920830-4a76-4d2b-be97-f9e2b3867c17","resolution":{"observed_at":"2026-08-14T11:40:15.170543Z","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:40:14.538424Z","title":"van Glabbeek (1993): The Linear Time – Branching Time Spectrum II","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.538424Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:a7fb4463be6c3c045e6396a1dd6c5575a93b38b9e99fab5984d2288d700e29da","observation_id":"ada313bd-585c-4273-9cd6-38e47042c002","resolution":{"observed_at":"2026-08-14T11:40:14.538424Z","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-1-4471-2120-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.139837Z","title":"van Glabbeek (1994): On the expressiveness of ACP (extended abstract)","venue":null,"work_id":"11ab1e24-70b9-48e9-8714-a948bb5ec00d","year":1994},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.543058Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:78d4c82c6449bb2297258fedd8d4584c339fec99f67974140b73af591a9f7b09","observation_id":"eb36de7a-badf-4c8f-b7b6-1a1e1c5faa40","resolution":{"observed_at":"2026-08-14T11:40:15.144733Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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:40:14.547610Z","title":"van Glabbeek (2001): The Linear Time – Branching Time Spectrum I: The Semantics of Conrete, Se- quential Processes","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.547610Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:2798c994c034b51e53193e6ba057ff7da00d0efa8e7b5e102418780a76db3216","observation_id":"56eedeaa-d160-4c5a-9339-abfe899c9733","resolution":{"observed_at":"2026-08-14T11:40:14.547610Z","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:40:14.552272Z","title":"van Glabbeek (2012): Musings on Encodings and Expressiveness","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.552272Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:352b20ed3b65d93b84ac1383046e90e0edf81bda1362fe1dd0d0f10379c85a88","observation_id":"7acc10b7-e72c-4c06-943e-22d75cf448c0","resolution":{"observed_at":"2026-08-14T11:40:14.552272Z","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:40:14.557248Z","title":"van Glabbeek (2018): A Theory of Encodings and Expressiveness (Extended Abstrac t)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.557248Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:a133f75f41aaf56f2f43fdf103c5f00eb38f2abf23d84dd4519afeffeb4e3947","observation_id":"115582d7-b4a0-464a-9de3-ed68feabf14d","resolution":{"observed_at":"2026-08-14T11:40:14.557248Z","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:40:14.561918Z","title":"Gorla (2008): T owards a Unified Approach to Encodability and Separation Re sults for Process Calculi","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.561918Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:44a25c9062e6f45d9c63bf0b27a37033892994b839684c8244a263333765f7ba","observation_id":"b41be4f4-3bb9-4ffb-9e6a-a537821ef442","resolution":{"observed_at":"2026-08-14T11:40:14.561918Z","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/j.entcs.2009.07.094","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.085133Z","title":"Gorla (2009): On the Relative Expressive Power of Calculi for Mobility","venue":null,"work_id":"8e63a0df-fc55-4b37-8ed4-514b1b54fcf7","year":2009},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.566664Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:147347f311b1e01b65b21acd9d6886778d46ca1eca337e2102165eb42d79e983","observation_id":"1c451869-5b5b-4e62-ab16-1cbfb8f06e21","resolution":{"observed_at":"2026-08-14T11:40:15.090151Z","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:40:14.571264Z","title":"Gorla (2010): A taxonomy of process calculi for distribution and mobility","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.571264Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:248a1a4bda40a0a549d305dc73d1395efb14b0942f782e9d0d0048c0c76401f2","observation_id":"ec35790e-02ca-47cb-8077-ffca6e44412a","resolution":{"observed_at":"2026-08-14T11:40:14.571264Z","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:40:14.576055Z","title":"Gorla (2010): T owards a Unified Approach to Encodability and Separation Re sults for Process Calculi","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.576055Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:1a38dea7142d48af71718e252cae4334dec6a323d3cec06701b78f837bbd3f29","observation_id":"67779c2b-06ae-4016-854d-1f1aea1e55ad","resolution":{"observed_at":"2026-08-14T11:40:14.576055Z","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:40:14.581639Z","title":"Gorla & U","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.581639Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:2873ee569c783e51ff59f5fde36363f79e71fee9dac84405a3521d23f266eb67","observation_id":"2570f1cb-542e-40c3-a256-62f499d3862c","resolution":{"observed_at":"2026-08-14T11:40:14.581639Z","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.4204/eptcs.190.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.036258Z","title":"Hatzel, C","venue":null,"work_id":"0054b0ce-1c03-4711-8ed8-68910c05665c","year":2015},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.585837Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:0c2d129684ebb26c951d4c71b7ebddbadb649d026bcfa41771712b1dcbfcdf3d","observation_id":"9bdef298-22c3-4276-a342-d005f83c276e","resolution":{"observed_at":"2026-08-14T11:40:15.041434Z","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:40:15.921787Z","title":"Hewitt, P","venue":null,"work_id":"77b7b1f3-1a31-455e-9cf8-55ff38c0072a","year":1973},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.590368Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:fed654fb696cf44b795f34dc6388e2c717174795eb1084f2e1e3c1fd40b72c8e","observation_id":"b657d959-797c-41b9-8698-962e28b25b04","resolution":{"observed_at":"2026-08-14T11:40:15.926491Z","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:40:14.594599Z","title":"Hoare (1978): Communicating Sequential Processes","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.594599Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:3f063ae204dcf83ee64ebfc43b3b7ecd91d812efdd4351978f7d4be1ef8b684e","observation_id":"03e903d8-b2e1-4e9f-8226-a899f5797bf4","resolution":{"observed_at":"2026-08-14T11:40:14.594599Z","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:40:14.598902Z","title":"Honda & M","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.598902Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:3e422561ec3220c7639c2baa6132eed61d67b003685b56e5aaecfa40ecdbe7a3","observation_id":"e853d491-fb8a-4dd8-b1f8-0f6567fa79be","resolution":{"observed_at":"2026-08-14T11:40:14.598902Z","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:40:14.603263Z","title":"Honda & N","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.603263Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:4d272d47d392856c13a4a2663ece17e548099afa74d75c1e1b6ad86d48ebc202","observation_id":"201abf19-de10-4f36-a78f-5f684d64613f","resolution":{"observed_at":"2026-08-14T11:40:14.603263Z","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:40:15.906385Z","title":"Knabe (1993): A Distributed Protocol for Channel-Based Communication wi th Choice","venue":null,"work_id":"821331b2-6a2f-4fc0-8941-3c5d801c217c","year":1993},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.607626Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:3032100d74f7336cc1ee9cc9f7ae22722c9b25d90d667f75547eb33413eec4ab","observation_id":"02bf6162-24c0-448f-be54-1f5a967b1859","resolution":{"observed_at":"2026-08-14T11:40:15.911157Z","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.1109/lics.2010.15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:14.998395Z","title":"Laneve & A","venue":null,"work_id":"2d6c9029-8ee1-4dd3-9687-6ecb7562a4f2","year":2010},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.611665Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:a864deac073a32c6ae6679ce9e6ba8343370599b9687443a2b35ecf298cc90b4","observation_id":"24f221ce-7204-4517-b03b-86f8cb5d0c42","resolution":{"observed_at":"2026-08-14T11:40:15.003537Z","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:40:14.615853Z","title":"Lipton, L","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.615853Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:3d5540d6eb274589f810655597e06f2de446c770b57fbfa2a8162a93ea8993d9","observation_id":"e6681eff-bf56-41d4-8647-a8189f55940d","resolution":{"observed_at":"2026-08-14T11:40:14.615853Z","resolver_source":null,"status":"malformed_identifier"},"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:40:15.890868Z","title":"Milner (1989): Communication and Concurrency","venue":null,"work_id":"3b25afaf-0c94-42d9-a187-9e940ce13e45","year":1989},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.620351Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:ca1c36750b4114018970c0a09effe1bb7a0f4d2449c147451ae875cc21a9ea40","observation_id":"69992144-d4e6-4396-b3ac-9ff19d30851e","resolution":{"observed_at":"2026-08-14T11:40:15.895701Z","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:40:14.624728Z","title":"Milner (1992): Functions as Processes","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.624728Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:4b818bbe1dcef6998345908deced0d157acf8e345fb180f31fc1d7345e0eaded","observation_id":"a351b3c3-8797-4091-8484-20612addcc65","resolution":{"observed_at":"2026-08-14T11:40:14.624728Z","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-642-58041-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:14.961049Z","title":"Milner (1993): The Polyadic π -Calculus: a Tutorial","venue":null,"work_id":"28951681-eb29-4e0e-ba3f-36bd9e3c73ea","year":1993},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.629081Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:baaaf5673e303be946c6448c83b168e3c46c11e95203f3d3a9116b73a269a5fb","observation_id":"52bb8282-f738-4fe1-be7e-a82e940f1a59","resolution":{"observed_at":"2026-08-14T11:40:14.966333Z","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:40:15.874830Z","title":"Milner (1999): Communicating and Mobile Systems: The π -Calculus","venue":null,"work_id":"087decbd-f90e-428c-86e5-328f3fac05d9","year":1999},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.634126Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:3866dab29f6b57a847fb3b225f92daba597cab33f94752418f564a83a4306d20","observation_id":"f1326472-4466-44a4-aa1e-c4fbaa4df9c4","resolution":{"observed_at":"2026-08-14T11:40:15.880047Z","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:40:14.638779Z","title":"Milner, J","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.638779Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:0e83fb4e9583ddd442f91cbcc0b6be6598446851df0b5a63ce24df3a31f6b432","observation_id":"4e2045b2-f8c6-4324-b08a-65e547653ef7","resolution":{"observed_at":"2026-08-14T11:40:14.638779Z","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:40:14.643596Z","title":"Milner & D","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.643596Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:c7d8f182b2714023e3654a4ad67c6b2877cd32a6c8954be8e3e633b482a1ade0","observation_id":"ca02cf4d-1ffe-4347-bbee-d9028af19085","resolution":{"observed_at":"2026-08-14T11:40:14.643596Z","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:40:14.648175Z","title":"Mitchell (1993): On abstraction and the expressive power of programming lang uages","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.648175Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:45ee8e11724e491f8357cd0c4bfd1cec93f13ea4ad3c37b6432c1a020d4849b8","observation_id":"91f5c512-58e9-43c6-be8a-157f96df72d5","resolution":{"observed_at":"2026-08-14T11:40:14.648175Z","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:40:15.857397Z","title":"Nestmann (1996): On Determinacy and Nondeterminacy in Concurrent Programmi ng","venue":null,"work_id":"96348e04-967b-471e-a48d-55d95d61e492","year":1996},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.652868Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:90a81f5e4e94d017214538e3c85f0c606489828a4e4058793e80af0d66f1f1aa","observation_id":"d5f82375-780a-420e-9deb-825b2b7bc424","resolution":{"observed_at":"2026-08-14T11:40:15.862582Z","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":"1999.2822","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.571495Z","title":"Nestmann (2000): What is a “Good” Encoding of Guarded Choice? Information and Computation 156(1-2), pp","venue":null,"work_id":"6adf5003-43ee-42a9-9f4a-72f8ac5e43ed","year":2000},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.657385Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:5783a4e75d3da137b44f11c046b788d3010f811e3a7613c033c63c145de97b83","observation_id":"f2deac1d-5faa-43fe-8a3b-27858babadad","resolution":{"observed_at":"2026-08-14T11:40:15.580070Z","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:40:14.661735Z","title":"Nestmann (2006): W elcome to the Jungle: A subjective Guide to Mobile Process C alculi","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.661735Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:dff593e3e1eaeb7847fdd699386f7cf307dacd3ce98730d5b3545f9d5d8e916e","observation_id":"d2cf2ba6-4089-4e47-87c1-b373ff4fa27b","resolution":{"observed_at":"2026-08-14T11:40:14.661735Z","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":"2000.2868","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.497790Z","title":"Nestmann & B.C","venue":null,"work_id":"7cd29bf7-91b4-45f3-ae65-b83f587753a2","year":2000},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.666479Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:9b9dcf9e6a88275c70b02aaf64ce8eecfdd18c3fee4e97ce305670d5479d0d98","observation_id":"77de7f98-aa76-4c59-b2c1-50b8b4848702","resolution":{"observed_at":"2026-08-14T11:40:15.505961Z","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:40:14.671188Z","title":"Palamidessi (2003): Comparing the Expressive Power of the Synchronous and the Asynchronous π -calculi","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.671188Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:889c1002ac8a09a6ba8c68d434e7b00beb16ef2ad8375531a61e1eaa77fec1fb","observation_id":"bcbbd791-d4bf-4f58-8d16-69cd65511286","resolution":{"observed_at":"2026-08-14T11:40:14.671188Z","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:40:14.676028Z","title":"Palamidessi, V .A","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.676028Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:985fd207753d512957a54b2dba1ff1aaa89a18334540da6b2f102760ba7085ce","observation_id":"fb194a87-3252-4e3a-be6e-8af0a4c630fb","resolution":{"observed_at":"2026-08-14T11:40:14.676028Z","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/j.entcs.2008.04.011","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:14.883620Z","title":"Parrow (2008): Expressiveness of Process Algebras","venue":null,"work_id":"5ab7c880-e153-49b2-bb90-c51bd0684988","year":2008},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.680677Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:a8248aa9dd76659e8758e5d13883053370b0adb0302482e99ae107fe795fa4f5","observation_id":"381aac14-ee04-4550-8ea3-c1213ec9ffc7","resolution":{"observed_at":"2026-08-14T11:40:14.889054Z","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:40:14.685245Z","title":"Parrow (2014): General conditions for full abstraction","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.685245Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:c430dd964fec554293ed38c89e6dd8b6647489b9531c0d3783da8ab6d6ed8cb7","observation_id":"bf0b1d25-8ce2-49a4-9851-14b686efe4ce","resolution":{"observed_at":"2026-08-14T11:40:14.685245Z","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/bfb0084813","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:14.859041Z","title":"Parrow & P","venue":null,"work_id":"57e52bbe-a44c-43bb-9172-88fcedd47322","year":1992},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.690124Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:ffa8e2e5bc91e59d2ce389a6569c77d238fc8c802c6086ad281c775c1acb9f86","observation_id":"d3075802-67fe-4946-b9af-8cd8bce406a7","resolution":{"observed_at":"2026-08-14T11:40:14.863225Z","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:40:15.841620Z","title":"Perez (2009): Higher-Order Concurrency: Expressiveness and Decidabili ty Results","venue":null,"work_id":"d19f1856-e5ac-41d5-9c54-56edae99449c","year":2009},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.694791Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:623561a3680a607766474dcafc6af898e96a3aae1b0e739f112411a84b07f8d8","observation_id":"cfbce90d-fb99-4f57-a748-d56e3aa3349b","resolution":{"observed_at":"2026-08-14T11:40:15.846642Z","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:40:15.826210Z","title":"Peters (2012): Translational Expressiveness","venue":null,"work_id":"13a1e010-8fb9-44dc-90ce-d480f077266d","year":2012},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.699362Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:c03aa1b25390320c8f12a7207d778fe9261e811afcaeaa30e03f65c8f6e410f9","observation_id":"3509e986-1134-42ca-86c7-228a9086c7ed","resolution":{"observed_at":"2026-08-14T11:40:15.831384Z","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:40:14.704311Z","title":"Peters & R","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.704311Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:1d924ad2fb57752d53d27b8eb1763437ac588f968b46a350ed01db2174433315","observation_id":"3baaaf55-01ea-4c23-a7ff-43ff56fd06f5","resolution":{"observed_at":"2026-08-14T11:40:14.704311Z","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:40:15.811890Z","title":"Peters & R","venue":null,"work_id":"777039c6-c272-420d-b82a-947e58c52783","year":2015},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.708911Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:34dd2f6dcd92f20a960fdc40cefc28847a9b1195edd9b9f63d93f3df0000888d","observation_id":"b5ed495f-90b7-4367-8770-afa6cc7a4a4b","resolution":{"observed_at":"2026-08-14T11:40:15.816137Z","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:40:14.713997Z","title":"Peters & U","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.713997Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:09960ed22702154d7f5de0f34e6f4d81edc04d2591826c631d1e4640d47a0335","observation_id":"49248ef8-b844-4cb0-8ac3-66a6c6764af4","resolution":{"observed_at":"2026-08-14T11:40:14.713997Z","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:40:14.719421Z","title":"Peters, U","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.719421Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:cf0e82241fe8337a234fefd4d7e966ad574b7ace60013817da6d7f99fdcc1b97","observation_id":"082cd98b-5f03-496b-bb64-89b35c34146a","resolution":{"observed_at":"2026-08-14T11:40:14.719421Z","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:40:15.797432Z","title":"Petri (1962): Kommunikation mit Automaten","venue":null,"work_id":"2ab952f2-1a5e-49c7-91d3-e6b652a9d8d4","year":1962},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.724001Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:4d3d4593fa9a2e11a4408c491734f2c366fca393482060ece8b82283edd64545","observation_id":"229316d4-137a-4782-9ee2-2efd11b104e2","resolution":{"observed_at":"2026-08-14T11:40:15.801782Z","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":"9583.99617","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.421089Z","title":"Riecke (1991): Fully abstract translations between functional languages","venue":null,"work_id":"330cd9f0-eb27-4486-9c86-bf7f979dfcb7","year":1991},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.728299Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:1d89dcf85d9bfa3e483116eb409c4d471a50b2b78ba447d57c3b12842bb0d4ad","observation_id":"9c5c30f5-5746-4f6e-97a7-1a816d916a63","resolution":{"observed_at":"2026-08-14T11:40:15.428591Z","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:40:14.732849Z","title":"Sangiorgi (1994): An investigation into functions as processes","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.732849Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:23a8ebf912a33c6ba0a82879c0f411813d506e4d1fef0c66e364463256558ac1","observation_id":"a4d7c4cf-5933-47ba-ab92-b0e8df30a6c1","resolution":{"observed_at":"2026-08-14T11:40:14.732849Z","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":"6507.15165","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:15.349012Z","title":"Sangiorgi (2009): On the Origins of Bisimulation and Coinduction","venue":null,"work_id":"d1ee10e3-7a75-4360-bd04-f6ff81643d0d","year":2009},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.737751Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:42644fd5c89bb1654575254acb9130a87d3df4dcec8d01b44fcf9417e5a87627","observation_id":"b8adc68a-c11d-47f2-bcb1-0fd0b371546c","resolution":{"observed_at":"2026-08-14T11:40:15.357135Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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:40:14.742451Z","title":"Victor & J","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.742451Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:84386c88a2ce189c7cbcc629ba7efa0ae9af69ae4149f16694b0243f065bcc9e","observation_id":"a41a02ea-d46c-455f-a443-93a0dd5b15f5","resolution":{"observed_at":"2026-08-14T11:40:14.742451Z","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/j.tcs.2007.09.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:40:14.795030Z","title":"Vigliotti, I","venue":null,"work_id":"301abeac-1c3b-455e-8cf4-1acda44e2fd6","year":2007},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.746387Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:1b1f0e3494ad7552b43851bc4fe1348dcc1412d2cfd6711987bd2fd6afdb0e37","observation_id":"8081fc34-ac8f-4d68-abb0-6d16838d6aa7","resolution":{"observed_at":"2026-08-14T11:40:14.800281Z","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:40:14.750847Z","title":"Y oshida (1996): Graph Types for Monadic Mobile Processes","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-14T11:40:14.750847Z"},"links":{"citing_paper":"/paper/1908.08633"},"observation_digest":"sha256:f6ff2243efa145f28a08553376eeb20afce7f805075f1289667da1d9e7bd26d2","observation_id":"430aac7a-87f1-4f09-8590-ee0b99ee69a1","resolution":{"observed_at":"2026-08-14T11:40:14.750847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.08633","last_updated":"2019-08-23T01:54:49Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T02:24:40.170406Z","submitted_at":"2019-08-23T01:54:49Z","title":"Comparing Process Calculi Using Encodings"},"reference_resolution":{"displayed":60,"state_counts":{"malformed_identifier":2,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":31,"verified_exact":14,"verified_fuzzy":11},"total_outbound_references":60},"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 16 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:1908.08633."}