Pith. sign in

Paper Citation Record · LEDGER

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings

As of 12 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2411.14583.

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

pith.paper-citation-record.v1
2411.14583 v1

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:17:06.109418Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

52 of 52 outbound references displayed

  • verified exact24
  • verified fuzzy3
  • unresolved19
  • parse uncertain0
  • malformed identifier6
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a147b2d5-d8c4-42d5-9c99-96fcd5ae9066 · outbound

This paper cites Aubert (2022): Concurrencies in Reversible Concurrent Calculi.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Aubert (2022): Concurrencies in Reversible Concurrent Calculi

Reference 1

Resolution
malformed identifier
doi_truncated, observed 2026-08-12T15:17:06.556034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.878801Z digest=sha256:615f524c4a7df0a0aa38f1246fce5cd65e8476326d4f274d8f8450c70284f31e

Observation 2bcb2df7-3f2d-4805-aa0a-4494b65ee5ea · outbound

This paper cites Aubert & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Aubert & I

Reference 2

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.543459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.883392Z digest=sha256:8363461da2bad4bbc1036377526dfa91cfc8d20d2ecbff7bbdfcb26f85bd0d22

Observation 55d0c4d7-f0fb-4776-95cf-977b6e9de36a · outbound

This paper cites Aubert & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Aubert & I

Reference 3

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.532638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.887169Z digest=sha256:1a61a7d31207bc4be93e238d648dc69cbff4d686235516f0a7a0c073c3eca03f

Observation 5b916b05-6b03-4dc0-8886-1218cb274cb0 · outbound

This paper cites Baldan & S.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Baldan & S

Reference 4

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.521444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.891060Z digest=sha256:1dc4448e4ec7553cf67654fbff3c1fa1ee73dc72bd3dc93b3785361d30a8eee4

Observation 539ddc72-1eef-47ab-b496-7e905a55b0df · outbound

This paper cites Bednarczyk (1991): Hereditary History Preserving Bisimulations or What Is the Power of the Future Perfect in Program Logics.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bednarczyk (1991): Hereditary History Preserving Bisimulations or What Is the Power of the Future Perfect in Program Logics

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T15:17:06.833340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.895720Z digest=sha256:79147b230ff2ef9bd777705489d1891005ee0b5c7cb85982d4dd84d388d3c89b

Observation b46add73-22af-49d7-ba19-72cb5d583eae · outbound

This paper cites Bennett (1973): Logical Reversibility of Computation.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bennett (1973): Logical Reversibility of Computation

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:05.900506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.900506Z digest=sha256:33ed66f7c4b9db02ca33058077ded57e288d56cfc802ca0ae91fca6eb7f296b8

Observation 172c4b11-d645-49c5-80a4-be06af0b528f · outbound

This paper cites Bergstra, J.W.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bergstra, J.W

Reference 7

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.502473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.904661Z digest=sha256:e076decfa87d55bd49e2336c34944ff7bde3dec07305f61b9c45e558fd64ccd2

Observation 73244b8c-557d-435c-9817-2c594286e4d3 · outbound

This paper cites Bernardo & A.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & A

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T15:17:06.821402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.908251Z digest=sha256:09629d4c5467b397143a0dab22417365c196fea6c36f7f5676833073e5521ecf

Observation 58f74e2e-9796-432e-8e4f-fa1a55267dc9 · outbound

This paper cites Bernardo & A.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & A

Reference 9

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.490185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.912205Z digest=sha256:76fee3d5401158fe3d2ba6b364c0bf0d17c3436be20559b54f21a31135347648

Observation c83f8614-bb11-46c6-a8b6-f4d90e927e9e · outbound

This paper cites Bernardo & C.A.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & C.A

Reference 10

Resolution
malformed identifier
no resolver link, observed 2026-08-12T15:17:05.916201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.916201Z digest=sha256:50c2ecedaa086b3e505493b9950b5b38b6a635f71dc5fe38d1a797e8cd196fe5

Observation 41394db7-a3e4-47e5-a16b-f14bc779c90f · outbound

This paper cites Bernardo & C.A.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & C.A

Reference 11

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.470316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.920656Z digest=sha256:acd79ef0c2e7b5e7ae05deb533f495e461c5fd8046db3b8d9e5933d5e2db43a4

Observation 5f8e141f-d56c-43e8-9207-fc1d780ec314 · outbound

This paper cites Bernardo & C.A.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & C.A

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T15:17:06.809391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.924898Z digest=sha256:4bc76371bd0ece1bf6c38b81cd7092925dcd8ec44d86586638b7fb366f79a520

Observation da444725-7a63-4c07-aa99-4aa93be1b458 · outbound

This paper cites Bernardo & S.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & S

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:05.928089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.928089Z digest=sha256:64630a132ef60378245cf31b722897804a9d7d5d5b574473cd7c59ef35e6e88f

Observation 9da79b18-aa6d-481b-8afa-8a2276a608dc · outbound

This paper cites Bocchi, I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bocchi, I

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:05.932659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.932659Z digest=sha256:0d3be6dcf0f18664aa5d48217d6d45948b2d7e7a7a99eae250ed915493a7aa0b

Observation e4fb974c-3bd5-4eb8-8c54-b00eba491b97 · outbound

This paper cites Boudol & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Boudol & I

Reference 15

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.444840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.935956Z digest=sha256:8a7a04a119f7f1c80a246a5609c39c1b18e0b2bf6a471473b801b166ded46234

Observation 08042849-ef48-436f-ac14-d05b493155b8 · outbound

This paper cites Boudol & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Boudol & I

Reference 16

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.433322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.939480Z digest=sha256:4569b71d63084f484bce5447d0b85c6c7f70c4b5a68485b4c138abe3207e0209

Observation 88874f6b-b6a8-4095-be6a-73bb5e21d810 · outbound

This paper cites Boudol & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Boudol & I

Reference 17

Resolution
verified exact
raw_fallback, observed 2026-08-12T15:17:06.787997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.943047Z digest=sha256:3b87082b22c8f33d4abcb612b0a3c20afa663be09c008874ca784de4f6832ae0

Observation 72e0e57a-f56d-43b0-b7e6-1d4d9344ac09 · outbound

This paper cites Boudol, I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Boudol, I

Reference 18

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.422198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.947079Z digest=sha256:ca939d583e3970a7a17258b92a3a0ac580437d5f4d22a40da0fdd5b3e381e36f

Observation b6b263a7-a887-41dc-9445-c2c67b35e68e · outbound

This paper cites Brookes, C.A.R.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Brookes, C.A.R

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:05.951210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.951210Z digest=sha256:7abd1a4b86b9045b32954134591239dc4c4aaf7b4adfc2b5404b979aa49a5055

Observation 2575598a-4b01-4ede-88dd-b2df845b13a7 · outbound

This paper cites Castellani (1995): Observing Distribution in Processes: Static and Dynamic Localities.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Castellani (1995): Observing Distribution in Processes: Static and Dynamic Localities

Reference 20

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.404684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.956828Z digest=sha256:d0c24d376555b0d0566caaf68771e139698e8160359b130653405f4b504af813

Observation be93b9de-312d-4e9f-aecd-5e717d8fb51f · outbound

This paper cites Cristescu, J.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Cristescu, J

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:05.960919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.960919Z digest=sha256:568a1d0342f97c5de37ef8b1aed3f5bafe6b7513d1ceb2f450458a81dc0ebb2e

Observation a3e3f98f-525a-4807-a810-4370e10772c6 · outbound

This paper cites Danos & J.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Danos & J

Reference 22

Resolution
malformed identifier
no resolver link, observed 2026-08-12T15:17:05.965206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.965206Z digest=sha256:0191c29982094d0dbf35f478335d6bcc5f4abc44974218df6e08a9212cf02cff

Observation ffb76a60-9667-4d18-af3e-368ca6cec8d6 · outbound

This paper cites Darondeau & P.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Darondeau & P

Reference 24

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.373116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.974457Z digest=sha256:a924a7efc9c6a28affb00b02ce644fc844ca28f34df5aa563291382cdc604ec0

Observation 14a21a3f-0634-4eb3-834a-c0a29129c483 · outbound

This paper cites Darondeau & P.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Darondeau & P

Reference 25

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.361620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.979496Z digest=sha256:d978f26fb224f5dd8ebd70f523c78c4d19c09d8ebeb90fa4bdad1dbe7efd0a75

Observation 99d9fb9e-0a84-4f5b-bdec-9d7b87fee996 · outbound

This paper cites De Nicola, U.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings De Nicola, U

Reference 26

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.350837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.984694Z digest=sha256:06a53486e1b445b6b2121468709f107f75c0cde26cec3d6a1286769b2b39f7c9

Observation 52a316b4-c255-4e1f-8cef-bda8f9369ac5 · outbound

This paper cites Degano & C.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Degano & C

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:05.989335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.989335Z digest=sha256:64eee83310a6fd7df60d5b04c2b20ddb1910e2935907505ad0ffd22d8f0d13be

Observation 6edef6a1-8feb-49b3-9ca2-bd94da8d6ed3 · outbound

This paper cites Fecher (2004): A Completed Hierarchy of True Concurrent Equivalences.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Fecher (2004): A Completed Hierarchy of True Concurrent Equivalences

Reference 28

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.333063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:05.994285Z digest=sha256:5c3aa01ab2a84354c343d2bc8a9fd4692d8cb1c89452df9671d8da2355c8d0e3

Observation b2a3b597-a792-454d-ac30-d67b78cb8c53 · outbound

This paper cites Fr ¨oschle & S.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Fr ¨oschle & S

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:05.999313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:05.999313Z digest=sha256:6ef9edcd9e8fa7924af0cb04292f8ae2836b2d2b74b56569d9c86b03a796d649

Observation d1fc3cfe-ef30-47e9-af59-844483398525 · outbound

This paper cites Giachino, I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Giachino, I

Reference 30

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.003508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.003508Z digest=sha256:ada90b1f742a0e42182d4b77aad595fe86f9f33d2edd2b9d4d67fe66382593c0

Observation 7ccc3471-3846-4b04-896d-233c806205bc · outbound

This paper cites van Glabbeek & U.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings van Glabbeek & U

Reference 31

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.315430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.007710Z digest=sha256:0c92e79f6527cf936c48dc8656f1d5c6146bb8895256bb401f4c90c6a5e6a61a

Observation eed7fcdd-b4de-4145-8ca6-1ab2b50664be · outbound

This paper cites Hennessy & R.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Hennessy & R

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.012164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.012164Z digest=sha256:5b374718d9772a30005ee822b7bec926cf8d01138602793ff81ba71cef59d3fe

Observation 78856c35-c222-4c44-bce1-cb4dbd37b1d4 · outbound

This paper cites Krivine (2012): A Verification Technique for Reversible Process Algebra.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Krivine (2012): A Verification Technique for Reversible Process Algebra

Reference 33

Resolution
malformed identifier
doi_truncated, observed 2026-08-12T15:17:06.304908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.016105Z digest=sha256:c2388796e878d8bc4296aa2d2e4a48735e7df1143483fa825a80957b90270a4d

Observation f2e8f53d-95e6-430a-bcda-ace814e34f79 · outbound

This paper cites Landauer (1961): Irreversibility and Heat Generation in the Computing Process.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Landauer (1961): Irreversibility and Heat Generation in the Computing Process

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.020211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.020211Z digest=sha256:9f4cce4390c73dcb19c36f91d03f50105dfbaf4ac40e93f38d1b7866b4c2a6fb

Observation ec8afff8-ddf3-4efb-a819-00ddb1abf212 · outbound

This paper cites Lanese, M.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Lanese, M

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.024776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.024776Z digest=sha256:30a07af9059e0194d291f3d65fb9e8ec8ce9107f0ce5458062a1e6cd1885761a

Observation b179395f-2572-4307-8ec9-179eab800a1b · outbound

This paper cites Lanese, D.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Lanese, D

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.028821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.028821Z digest=sha256:dcfad79517487aef39a94c8576a127c85b0f8498bfc79c23fa63cbd323fd6266

Observation 43869fde-e1a1-4e4e-a35e-70af82f31651 · outbound

This paper cites Lanese, N.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Lanese, N

Reference 38

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.266986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.037159Z digest=sha256:0d02aaf5293b48e85dff75e9dfd551755e190a90f3dc1cef906ce3d9d8b51071

Observation dcb18976-7e6d-48d7-ae33-01ecbac575ad · outbound

This paper cites Laursen, L.-P.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Laursen, L.-P

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.045475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.045475Z digest=sha256:659cc719dbc0e4768e516fa46767d9fbf6de65335cf1295f18f1148f76a2363a

Observation 861e8da2-5bef-4b7d-be38-f7ca4d203939 · outbound

This paper cites Milner (1989): Communication and Concurrency.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Milner (1989): Communication and Concurrency

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.049607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.049607Z digest=sha256:68e3b9efe679ec6af81c4078381e6b63d9fcbb267628e20349e6983d32ca841c

Observation b7aba180-be58-4ade-94ff-f960556446a4 · outbound

This paper cites Olderog & C.A.R.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Olderog & C.A.R

Reference 42

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.248538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.053234Z digest=sha256:d038aaab7858dbc08b94163b9670bd248df08bf70139b7d33926a4490c32ecf4

Observation 3ac50e44-8f6f-414e-8edd-bac9bc5bfe7b · outbound

This paper cites Park (1981): Concurrency and Automata on Infinite Sequences.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Park (1981): Concurrency and Automata on Infinite Sequences

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.057230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.057230Z digest=sha256:ec139f79217b12a38d2e8d0a6d4e5c9befb9d71ab11375df11ca2edb80f0e937

Observation f85293fc-665e-4cf3-bca9-d979f61152d8 · outbound

This paper cites Perumalla & A.J.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Perumalla & A.J

Reference 44

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.231266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.061702Z digest=sha256:1ebd2cc038ac936eb50028339133060c5f5f85b815176921f2197c0ebb3d3b54

Observation 1d825279-8291-4f9c-893c-a9fea831cd15 · outbound

This paper cites Phillips & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips & I

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.066493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.066493Z digest=sha256:27fee7620d3c03facc31989cb5821d4f7b98882b7f4fe6c3512e637b69c744b0

Observation 77bde64d-53ba-40f3-966e-7dbff5475613 · outbound

This paper cites Phillips & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips & I

Reference 46

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.214037Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.071053Z digest=sha256:9a11e9e70c3a93a8de9a53b99e45a9f3e38e830cd614d8a3c8cd58e59d22f9a1

Observation 1bbbb764-fd96-419d-bf3e-3178b4cdb6b2 · outbound

This paper cites Phillips & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips & I

Reference 47

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.201704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.075866Z digest=sha256:c85b4e282f566d49e822a826383eb0f8c5279e1a9ae63894b182a8ffd1e80db9

Observation 1db0096c-cab2-44e4-94b0-0386d23f67cc · outbound

This paper cites Phillips & I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips & I

Reference 48

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.189460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.079645Z digest=sha256:ee83bd68eaabd36087520699ee92bc15693f3fb8d58f41018948129738bf33f8

Observation 609f2f6a-2a90-44b2-8b70-331951ee9f73 · outbound

This paper cites Phillips, I.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips, I

Reference 49

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.083610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.083610Z digest=sha256:8c5898ac319400c89bbadb86b05420fae80d86ef65b8ca4a7e9f4bbce0cbe59f

Observation 23991eba-0746-45bf-91f8-5d0936ff2060 · outbound

This paper cites Pinna (2017): Reversing Steps in Membrane Systems Computations.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Pinna (2017): Reversing Steps in Membrane Systems Computations

Reference 50

Resolution
malformed identifier
doi_truncated, observed 2026-08-12T15:17:06.170290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.088040Z digest=sha256:181a9ca4b0c8c452976a737faba72547ac2e94ed1af1f8c29506a6cfef4d492b

Observation 14a1cb18-72b5-465b-8c54-99f4d5a7deb0 · outbound

This paper cites Rabinovich & B.A.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Rabinovich & B.A

Reference 51

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.158460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.091642Z digest=sha256:cfdc445859b353d8100e28acc65769379b7eade3c726ac0f2a2baf59361990d6

Observation f06c39fd-1390-4dbc-9095-1dcf3e6c6c9d · outbound

This paper cites Schordan, T.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Schordan, T

Reference 52

Resolution
verified exact
doi, observed 2026-08-12T15:17:06.146397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-12T15:17:06.095580Z digest=sha256:13848d7ed209008708ab11980dcff8bedd157d44bb621427ecb79d141dddf3ef

Observation 8f65843c-4178-456d-ac29-0316c85bcfcc · outbound

This paper cites Siljak, K.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Siljak, K

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.100955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.100955Z digest=sha256:c636a0287be06f34865d9273a36f445ad2017cdf47494b275157526dcbdc6afc

Observation 3c81294f-e4cc-4791-9925-906b4693ba6a · outbound

This paper cites Vassor & J.-B.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Vassor & J.-B

Reference 54

Resolution
unresolved
no resolver link, observed 2026-08-12T15:17:06.104777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.104777Z digest=sha256:98c28c904d61a0a1f3ba520e44757cdc1325dfc82cfe6ad5c6a965f631c40231

Observation 3e0666c9-aade-47b3-9b9f-58575c9fb8f7 · outbound

This paper cites de Vries, V.

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings de Vries, V

Reference 55

Resolution
malformed identifier
no resolver link, observed 2026-08-12T15:17:06.109418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T15:17:06.109418Z digest=sha256:ee92360210e6ce1bb0bfb30b6864c9cb4e08ee3d2f8d6d8765adaf14981ae8d4

Pith citing papers

No inbound Pith citation observations are available.