Paper Citation Record · LEDGER

Comparing Process Calculi Using Encodings

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.

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

pith.paper-citation-record.v1
1908.08633 v1

Coverage vector

measured 60 of 60 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:40:14.750847Z

measured 60 of 60 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

60 of 60 outbound references displayed

verified exact14
verified fuzzy11
unresolved31
parse uncertain0
malformed identifier2
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c1ab6133-5f7f-4ed5-8205-cbaf266525fc · outbound

This paper cites Arun-Kummar & M.

Comparing Process Calculi Using Encodings Arun-Kummar & M

Reference 1

Resolution: verified exact; doi, observed 2026-08-14T11:40:15.264278Z

Source-reported events for the cited work

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

Observation 5bdcbf0a-7741-4e76-bba1-ca4b08f602e9 · outbound

This paper cites Baeten (2005): A brief history of process algebra.

Comparing Process Calculi Using Encodings Baeten (2005): A brief history of process algebra

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.480396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3525244-4392-4f1a-86cc-18b0f98af5ea · outbound

This paper cites Baldamus, J.

Comparing Process Calculi Using Encodings Baldamus, J

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.485655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90fa5ec6-c086-41f1-bfa3-157cdb441807 · outbound

This paper cites Bergstra & J.W.

Comparing Process Calculi Using Encodings Bergstra & J.W

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.956938Z

Source-reported events for the cited work

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

Observation de2f6607-c337-4683-b695-76eee63dda25 · outbound

This paper cites Boer & C.

Comparing Process Calculi Using Encodings Boer & C

Reference 5

Resolution: verified exact; doi, observed 2026-08-14T11:40:15.230132Z

Source-reported events for the cited work

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

Observation 797fb1ea-f6e9-4479-81da-cffab45938a0 · outbound

This paper cites Boudol (1992): Asynchrony and the π -calculus (note).

Comparing Process Calculi Using Encodings Boudol (1992): Asynchrony and the π -calculus (note)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.941694Z

Source-reported events for the cited work

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

Observation 4f31f933-22ee-4aec-964b-0347fa81b0d0 · outbound

This paper cites Buckley & A.

Comparing Process Calculi Using Encodings Buckley & A

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.505625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97f5d3f1-b038-4b57-a55d-e5deb5e2eefd · outbound

This paper cites an unresolved cited work.

Comparing Process Calculi Using Encodings Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.510387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdcba90e-2ca3-49b1-87b6-d838a056647d · outbound

This paper cites Cacciagrano, F.

Comparing Process Calculi Using Encodings Cacciagrano, F

Reference 9

Resolution: verified exact; doi, observed 2026-08-14T11:40:15.204976Z

Source-reported events for the cited work

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

Observation 48daf6c9-22ab-4939-8f09-0f19aaa7f0b2 · outbound

This paper cites Carbone & S.

Comparing Process Calculi Using Encodings Carbone & S

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.519811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4925b87-4e4c-4a33-b04f-495bd6344c8c · outbound

This paper cites Fournet & G.

Comparing Process Calculi Using Encodings Fournet & G

Reference 11

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T11:40:15.715746Z

Source-reported events for the cited work

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

Observation 8fb698a6-7e16-45f5-ab8d-cad22fe98647 · outbound

This paper cites Fu (2016): Theory of Interaction.

Comparing Process Calculi Using Encodings Fu (2016): Theory of Interaction

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.529068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46920830-4a76-4d2b-be97-f9e2b3867c17 · outbound

This paper cites an unresolved cited work.

Comparing Process Calculi Using Encodings Unresolved cited work

Reference 13

Resolution: verified exact; doi, observed 2026-08-14T11:40:15.170543Z

Source-reported events for the cited work

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

Observation ada313bd-585c-4273-9cd6-38e47042c002 · outbound

This paper cites van Glabbeek (1993): The Linear Time – Branching Time Spectrum II.

Comparing Process Calculi Using Encodings van Glabbeek (1993): The Linear Time – Branching Time Spectrum II

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.538424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb36de7a-badf-4c8f-b7b6-1a1e1c5faa40 · outbound

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

Comparing Process Calculi Using Encodings van Glabbeek (1994): On the expressiveness of ACP (extended abstract)

Reference 15

Resolution: malformed identifier; doi_truncated, observed 2026-08-14T11:40:15.144733Z

Source-reported events for the cited work

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

Observation 56eedeaa-d160-4c5a-9339-abfe899c9733 · outbound

This paper cites van Glabbeek (2001): The Linear Time – Branching Time Spectrum I: The Semantics of Conrete, Se- quential Processes.

Comparing Process Calculi Using Encodings van Glabbeek (2001): The Linear Time – Branching Time Spectrum I: The Semantics of Conrete, Se- quential Processes

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.547610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7acc10b7-e72c-4c06-943e-22d75cf448c0 · outbound

This paper cites van Glabbeek (2012): Musings on Encodings and Expressiveness.

Comparing Process Calculi Using Encodings van Glabbeek (2012): Musings on Encodings and Expressiveness

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.552272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 115582d7-b4a0-464a-9de3-ed68feabf14d · outbound

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

Comparing Process Calculi Using Encodings van Glabbeek (2018): A Theory of Encodings and Expressiveness (Extended Abstrac t)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.557248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b41be4f4-3bb9-4ffb-9e6a-a537821ef442 · outbound

This paper cites Gorla (2008): T owards a Uniﬁed Approach to Encodability and Separation Re sults for Process Calculi.

Comparing Process Calculi Using Encodings Gorla (2008): T owards a Uniﬁed Approach to Encodability and Separation Re sults for Process Calculi

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.561918Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c451869-5b5b-4e62-ab16-1cbfb8f06e21 · outbound

This paper cites Gorla (2009): On the Relative Expressive Power of Calculi for Mobility.

Comparing Process Calculi Using Encodings Gorla (2009): On the Relative Expressive Power of Calculi for Mobility

Reference 20

Resolution: verified exact; doi, observed 2026-08-14T11:40:15.090151Z

Source-reported events for the cited work

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

Observation ec35790e-02ca-47cb-8077-ffca6e44412a · outbound

This paper cites Gorla (2010): A taxonomy of process calculi for distribution and mobility.

Comparing Process Calculi Using Encodings Gorla (2010): A taxonomy of process calculi for distribution and mobility

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.571264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67779c2b-06ae-4016-854d-1f1aea1e55ad · outbound

This paper cites Gorla (2010): T owards a Uniﬁed Approach to Encodability and Separation Re sults for Process Calculi.

Comparing Process Calculi Using Encodings Gorla (2010): T owards a Uniﬁed Approach to Encodability and Separation Re sults for Process Calculi

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.576055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2570f1cb-542e-40c3-a256-62f499d3862c · outbound

This paper cites Gorla & U.

Comparing Process Calculi Using Encodings Gorla & U

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.581639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bdef298-22c3-4276-a342-d005f83c276e · outbound

This paper cites Hatzel, C.

Comparing Process Calculi Using Encodings Hatzel, C

Reference 24

Resolution: verified exact; doi, observed 2026-08-14T11:40:15.041434Z

Source-reported events for the cited work

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

Observation b657d959-797c-41b9-8698-962e28b25b04 · outbound

This paper cites Hewitt, P.

Comparing Process Calculi Using Encodings Hewitt, P

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.926491Z

Source-reported events for the cited work

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

Observation 03e903d8-b2e1-4e9f-8226-a899f5797bf4 · outbound

This paper cites Hoare (1978): Communicating Sequential Processes.

Comparing Process Calculi Using Encodings Hoare (1978): Communicating Sequential Processes

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.594599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e853d491-fb8a-4dd8-b1f8-0f6567fa79be · outbound

This paper cites Honda & M.

Comparing Process Calculi Using Encodings Honda & M

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.598902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 201abf19-de10-4f36-a78f-5f684d64613f · outbound

This paper cites Honda & N.

Comparing Process Calculi Using Encodings Honda & N

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.603263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02bf6162-24c0-448f-be54-1f5a967b1859 · outbound

This paper cites Knabe (1993): A Distributed Protocol for Channel-Based Communication wi th Choice.

Comparing Process Calculi Using Encodings Knabe (1993): A Distributed Protocol for Channel-Based Communication wi th Choice

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.911157Z

Source-reported events for the cited work

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

Observation 24f221ce-7204-4517-b03b-86f8cb5d0c42 · outbound

This paper cites Laneve & A.

Comparing Process Calculi Using Encodings Laneve & A

Reference 30

Resolution: verified exact; doi, observed 2026-08-14T11:40:15.003537Z

Source-reported events for the cited work

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

Observation e6681eff-bf56-41d4-8647-a8189f55940d · outbound

This paper cites Lipton, L.

Comparing Process Calculi Using Encodings Lipton, L

Reference 31

Resolution: malformed identifier; no resolver link, observed 2026-08-14T11:40:14.615853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69992144-d4e6-4396-b3ac-9ff19d30851e · outbound

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

Comparing Process Calculi Using Encodings Milner (1989): Communication and Concurrency

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.895701Z

Source-reported events for the cited work

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

Observation a351b3c3-8797-4091-8484-20612addcc65 · outbound

This paper cites Milner (1992): Functions as Processes.

Comparing Process Calculi Using Encodings Milner (1992): Functions as Processes

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.624728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52bb8282-f738-4fe1-be7e-a82e940f1a59 · outbound

This paper cites Milner (1993): The Polyadic π -Calculus: a Tutorial.

Comparing Process Calculi Using Encodings Milner (1993): The Polyadic π -Calculus: a Tutorial

Reference 34

Resolution: verified exact; doi, observed 2026-08-14T11:40:14.966333Z

Source-reported events for the cited work

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

Observation f1326472-4466-44a4-aa1e-c4fbaa4df9c4 · outbound

This paper cites Milner (1999): Communicating and Mobile Systems: The π -Calculus.

Comparing Process Calculi Using Encodings Milner (1999): Communicating and Mobile Systems: The π -Calculus

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.880047Z

Source-reported events for the cited work

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

Observation 4e2045b2-f8c6-4324-b08a-65e547653ef7 · outbound

This paper cites Milner, J.

Comparing Process Calculi Using Encodings Milner, J

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.638779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca02cf4d-1ffe-4347-bbee-d9028af19085 · outbound

This paper cites Milner & D.

Comparing Process Calculi Using Encodings Milner & D

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.643596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91f5c512-58e9-43c6-be8a-157f96df72d5 · outbound

This paper cites Mitchell (1993): On abstraction and the expressive power of programming lang uages.

Comparing Process Calculi Using Encodings Mitchell (1993): On abstraction and the expressive power of programming lang uages

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.648175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5f82375-780a-420e-9deb-825b2b7bc424 · outbound

This paper cites Nestmann (1996): On Determinacy and Nondeterminacy in Concurrent Programmi ng.

Comparing Process Calculi Using Encodings Nestmann (1996): On Determinacy and Nondeterminacy in Concurrent Programmi ng

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.862582Z

Source-reported events for the cited work

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

Observation f2deac1d-5faa-43fe-8a3b-27858babadad · outbound

This paper cites Nestmann (2000): What is a “Good” Encoding of Guarded Choice? Information and Computation 156(1-2), pp.

Comparing Process Calculi Using Encodings Nestmann (2000): What is a “Good” Encoding of Guarded Choice? Information and Computation 156(1-2), pp

Reference 40

Resolution: verified exact; raw_fallback, observed 2026-08-14T11:40:15.580070Z

Source-reported events for the cited work

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

Observation d2cf2ba6-4089-4e47-87c1-b373ff4fa27b · outbound

This paper cites Nestmann (2006): W elcome to the Jungle: A subjective Guide to Mobile Process C alculi.

Comparing Process Calculi Using Encodings Nestmann (2006): W elcome to the Jungle: A subjective Guide to Mobile Process C alculi

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.661735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77de7f98-aa76-4c59-b2c1-50b8b4848702 · outbound

This paper cites Nestmann & B.C.

Comparing Process Calculi Using Encodings Nestmann & B.C

Reference 42

Resolution: verified exact; raw_fallback, observed 2026-08-14T11:40:15.505961Z

Source-reported events for the cited work

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

Observation bcbbd791-d4bf-4f58-8d16-69cd65511286 · outbound

This paper cites Palamidessi (2003): Comparing the Expressive Power of the Synchronous and the Asynchronous π -calculi.

Comparing Process Calculi Using Encodings Palamidessi (2003): Comparing the Expressive Power of the Synchronous and the Asynchronous π -calculi

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.671188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb194a87-3252-4e3a-be6e-8af0a4c630fb · outbound

This paper cites Palamidessi, V .A.

Comparing Process Calculi Using Encodings Palamidessi, V .A

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.676028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 381aac14-ee04-4550-8ea3-c1213ec9ffc7 · outbound

This paper cites Parrow (2008): Expressiveness of Process Algebras.

Comparing Process Calculi Using Encodings Parrow (2008): Expressiveness of Process Algebras

Reference 45

Resolution: verified exact; doi, observed 2026-08-14T11:40:14.889054Z

Source-reported events for the cited work

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

Observation bf0b1d25-8ce2-49a4-9851-14b686efe4ce · outbound

This paper cites Parrow (2014): General conditions for full abstraction.

Comparing Process Calculi Using Encodings Parrow (2014): General conditions for full abstraction

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.685245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3075802-67fe-4946-b9af-8cd8bce406a7 · outbound

This paper cites Parrow & P.

Comparing Process Calculi Using Encodings Parrow & P

Reference 47

Resolution: verified exact; doi, observed 2026-08-14T11:40:14.863225Z

Source-reported events for the cited work

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

Observation cfbce90d-fb99-4f57-a748-d56e3aa3349b · outbound

This paper cites Perez (2009): Higher-Order Concurrency: Expressiveness and Decidabili ty Results.

Comparing Process Calculi Using Encodings Perez (2009): Higher-Order Concurrency: Expressiveness and Decidabili ty Results

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.846642Z

Source-reported events for the cited work

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

Observation 3509e986-1134-42ca-86c7-228a9086c7ed · outbound

This paper cites Peters (2012): Translational Expressiveness.

Comparing Process Calculi Using Encodings Peters (2012): Translational Expressiveness

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.831384Z

Source-reported events for the cited work

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

Observation 3baaaf55-01ea-4c23-a7ff-43ff56fd06f5 · outbound

This paper cites Peters & R.

Comparing Process Calculi Using Encodings Peters & R

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.704311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5ed495f-90b7-4367-8770-afa6cc7a4a4b · outbound

This paper cites Peters & R.

Comparing Process Calculi Using Encodings Peters & R

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.816137Z

Source-reported events for the cited work

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

Observation 49248ef8-b844-4cb0-8ac3-66a6c6764af4 · outbound

This paper cites Peters & U.

Comparing Process Calculi Using Encodings Peters & U

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.713997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 082cd98b-5f03-496b-bb64-89b35c34146a · outbound

This paper cites Peters, U.

Comparing Process Calculi Using Encodings Peters, U

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.719421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 229316d4-137a-4782-9ee2-2efd11b104e2 · outbound

This paper cites Petri (1962): Kommunikation mit Automaten.

Comparing Process Calculi Using Encodings Petri (1962): Kommunikation mit Automaten

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:40:15.801782Z

Source-reported events for the cited work

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

Observation 9c5c30f5-5746-4f6e-97a7-1a816d916a63 · outbound

This paper cites Riecke (1991): Fully abstract translations between functional languages.

Comparing Process Calculi Using Encodings Riecke (1991): Fully abstract translations between functional languages

Reference 55

Resolution: verified exact; raw_fallback, observed 2026-08-14T11:40:15.428591Z

Source-reported events for the cited work

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

Observation a4d7c4cf-5933-47ba-ab92-b0e8df30a6c1 · outbound

This paper cites Sangiorgi (1994): An investigation into functions as processes.

Comparing Process Calculi Using Encodings Sangiorgi (1994): An investigation into functions as processes

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.732849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8adc68a-c11d-47f2-bcb1-0fd0b371546c · outbound

This paper cites Sangiorgi (2009): On the Origins of Bisimulation and Coinduction.

Comparing Process Calculi Using Encodings Sangiorgi (2009): On the Origins of Bisimulation and Coinduction

Reference 57

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T11:40:15.357135Z

Source-reported events for the cited work

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

Observation a41a02ea-d46c-455f-a443-93a0dd5b15f5 · outbound

This paper cites Victor & J.

Comparing Process Calculi Using Encodings Victor & J

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.742451Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8081fc34-ac8f-4d68-abb0-6d16838d6aa7 · outbound

This paper cites Vigliotti, I.

Comparing Process Calculi Using Encodings Vigliotti, I

Reference 59

Resolution: verified exact; doi, observed 2026-08-14T11:40:14.800281Z

Source-reported events for the cited work

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

Observation 430aac7a-87f1-4f09-8590-ee0b99ee69a1 · outbound

This paper cites Y oshida (1996): Graph Types for Monadic Mobile Processes.

Comparing Process Calculi Using Encodings Y oshida (1996): Graph Types for Monadic Mobile Processes

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-14T11:40:14.750847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.