Paper Citation Record · LEDGER

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence

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

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

pith.paper-citation-record.v1
1908.06550 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T12:55:15.489127Z

measured 38 of 38 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

38 of 38 outbound references displayed

verified exact0
verified fuzzy38
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e97f7e66-d94b-42e5-ae69-9e71727617b2 · outbound

This paper cites B AETEN , J.A.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence B AETEN , J.A

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.907893Z

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 443f0163-58c0-4b4e-9d78-e5e3b245b54e · outbound

This paper cites B AETEN , B.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence B AETEN , B

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.898638Z

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 169ef7fa-8dab-4d99-962d-0cb654f99a44 · outbound

This paper cites B ASTEN (1996): Branching bisimulation is an equivalence indeed! Information Processing Letters 58(3), pp.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence B ASTEN (1996): Branching bisimulation is an equivalence indeed! Information Processing Letters 58(3), pp

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.888956Z

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 e78e374c-2b51-484a-941d-47a59ef9474d · outbound

This paper cites B LOOM (1994): When is partial trace equivalence adequate? Formal Aspects of Computing 6, pp.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence B LOOM (1994): When is partial trace equivalence adequate? Formal Aspects of Computing 6, pp

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.879530Z

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 d1a70104-3bc2-466d-af78-54e2c4e61e49 · outbound

This paper cites B LOOM (1995): Structural operational semantics for weak bisimulations.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence B LOOM (1995): Structural operational semantics for weak bisimulations

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.869669Z

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 fcdb42e5-6f14-4f39-bb33-24358e2649ad · outbound

This paper cites B LOOM , W.J.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence B LOOM , W.J

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.858801Z

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 493703a5-0086-4d7a-8cff-baff7b2b3fae · outbound

This paper cites B LOOM , S.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence B LOOM , S

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.848713Z

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 7cc496a1-0405-4051-8455-783cb2c42b6e · outbound

This paper cites B OL & J.F.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence B OL & J.F

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.838123Z

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 cf8daa90-9d90-459c-85d8-f7d32310912b · outbound

This paper cites F OKKINK (2000): Rooted branching bisimulation as a congruence.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence F OKKINK (2000): Rooted branching bisimulation as a congruence

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.827083Z

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 bf3a73c6-9734-4c90-b340-ab1e54165860 · outbound

This paper cites F OKKINK & R.J.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence F OKKINK & R.J

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.816587Z

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 9a0038fa-a8a3-4eec-87eb-fab0e692990f · outbound

This paper cites F OKKINK & R.J.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence F OKKINK & R.J

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.804424Z

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 8e01c79f-0b1c-41ba-a26e-22e2a7f07646 · outbound

This paper cites F OKKINK & R.J.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence F OKKINK & R.J

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.793825Z

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 0ce7be23-71b2-4b83-bf92-98b395160fa3 · outbound

This paper cites F OKKINK , R.J.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence F OKKINK , R.J

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.783257Z

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 2a1c3609-5491-427d-baae-dccea015dda8 · outbound

This paper cites F OKKINK , R.J.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence F OKKINK , R.J

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.771941Z

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 d5be81f2-61e2-4bd6-84ec-4ef44d3a52a9 · outbound

This paper cites F OKKINK , R.J.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence F OKKINK , R.J

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.762813Z

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 bdefdf32-8b1f-4126-b18a-b368a65ea2d1 · outbound

This paper cites VAN GLABBEEK (1993): The linear time-branching time spectrum II: The semantics of sequential systems with silent moves.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence VAN GLABBEEK (1993): The linear time-branching time spectrum II: The semantics of sequential systems with silent moves

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.753102Z

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 08d8b416-cf7a-43ab-9b7d-6cff7930ff5a · outbound

This paper cites VAN GLABBEEK (2004): The meaning of negative premises in transition system speciﬁcations II.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence VAN GLABBEEK (2004): The meaning of negative premises in transition system speciﬁcations II

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.742613Z

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 97c4b0af-d6cb-4dfa-a589-b412b22c2d30 · outbound

This paper cites VAN GLABBEEK , B.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence VAN GLABBEEK , B

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.732832Z

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 44839238-ec2a-4224-a5f2-4d93ad4a5a78 · outbound

This paper cites VAN GLABBEEK , B.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence VAN GLABBEEK , B

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.723399Z

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 e4faa9cf-c441-46cb-9396-6c8a7c8c9a32 · outbound

This paper cites VAN GLABBEEK & W.P.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence VAN GLABBEEK & W.P

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.712161Z

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 804d4d37-deb8-4628-8c96-3869240f0857 · outbound

This paper cites G ROOTE (1993): Transition system speciﬁcations with negative premises.Theoretical Computer Science 118(2), pp.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence G ROOTE (1993): Transition system speciﬁcations with negative premises.Theoretical Computer Science 118(2), pp

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.701232Z

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 fef45741-26b7-4619-b660-3601c17a64f9 · outbound

This paper cites G ROOTE & F.W.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence G ROOTE & F.W

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.691677Z

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 e3e3e0cd-379c-4fe7-bbea-8b4f9ce8c75d · outbound

This paper cites H ENNESSY & R.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence H ENNESSY & R

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.681719Z

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 68eae7d6-f7b4-4e09-b5d8-9a543aa6f5aa · outbound

This paper cites L ANGERAK (1989): A testing theory for LOTOS using deadlock detection.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence L ANGERAK (1989): A testing theory for LOTOS using deadlock detection

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.670766Z

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 1570a28e-d918-4d4f-a3a1-6bb439c4e8f9 · outbound

This paper cites M ILNER (1989): Communication and Concurrency.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence M ILNER (1989): Communication and Concurrency

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.658882Z

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 98520adc-fb68-4d97-a8cb-777a5556ae4b · outbound

This paper cites M OUSAVI , I.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence M OUSAVI , I

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.649281Z

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 e8eb90f2-9a1c-4b43-91d6-9b025407d447 · outbound

This paper cites P HILLIPS (1987): Refusal testing.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence P HILLIPS (1987): Refusal testing

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.638882Z

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 7a96791b-0d98-474d-8722-cd3e0e78eeb9 · outbound

This paper cites P LOTKIN (2004): A structural approach to operational semantics.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence P LOTKIN (2004): A structural approach to operational semantics

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.628537Z

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 ae6aeaf7-5834-4c41-82e8-b4141e5cc6a1 · outbound

This paper cites P OMELLO (1986): Some equivalence notions for concurrent systems – An overview.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence P OMELLO (1986): Some equivalence notions for concurrent systems – An overview

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.616305Z

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 b1d89b26-961c-43c4-96c8-f74604ec76d6 · outbound

This paper cites U LIDOWSKI (1992): Equivalences on observable processes.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence U LIDOWSKI (1992): Equivalences on observable processes

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.605292Z

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 f2acaf94-efb1-4481-8d60-15cad11c9acf · outbound

This paper cites U LIDOWSKI & I.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence U LIDOWSKI & I

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.594524Z

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 c9d7225b-06ac-4133-85ca-c429dd6f31ed · outbound

This paper cites U LIDOWSKI & S.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence U LIDOWSKI & S

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.584635Z

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 30777a14-66d0-41d5-9877-0c4ec54765ff · outbound

This paper cites V AANDRAGER (1990): Algebraic Techniques for Concurrency and their Application.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence V AANDRAGER (1990): Algebraic Techniques for Concurrency and their Application

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.572477Z

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 06e4704e-8976-4737-835c-50df486910a7 · outbound

This paper cites W ALKER (1990): Bisimulation and divergence.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence W ALKER (1990): Bisimulation and divergence

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.559624Z

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 36c06a95-f1ee-461e-9afe-1275f43c9519 · outbound

This paper cites Since p1|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2, by induction on n, q|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence Since p1|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2, by induction on n, q|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.548149Z

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 07463f0f-dfcf-4245-9170-d218b538b53f · outbound

This paper cites Since p1|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2, by induction on n, q′′|= ⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence Since p1|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2, by induction on n, q′′|= ⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.538133Z

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 59ce106c-8e77-4000-b288-c6247e50b76c · outbound

This paper cites Since p|=⟨ε⟩ϕ⟨α⟩ψ∈ Os b and p∼Os b q, also q|=⟨ε⟩ϕ⟨α⟩ψ.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence Since p|=⟨ε⟩ϕ⟨α⟩ψ∈ Os b and p∼Os b q, also q|=⟨ε⟩ϕ⟨α⟩ψ

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.526520Z

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 049fda59-6b96-4dfd-be38-98af0c3adc58 · outbound

This paper cites Let ˜ϕ∈ Os b such that p′|= ˜ϕ and p,q⁄|= ˜ϕ.

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence Let ˜ϕ∈ Os b such that p′|= ˜ϕ and p,q⁄|= ˜ϕ

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:15.514356Z

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.

Pith citing papers

No inbound Pith citation observations are available.