Ensuring Liveness Properties of Distributed Systems: Open Problems | Paper Citation Record

Observation 656d14f5-39ee-4472-bda0-de0c2d42f84b · outbound

This paper cites Austry & author G.

Ensuring Liveness Properties of Distributed Systems: Open Problems Austry & author G

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.345630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06547036-65d1-418c-9ffb-1694c5375d7c · outbound

This paper cites Apt , author N.

Ensuring Liveness Properties of Distributed Systems: Open Problems Apt , author N

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.351584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52b522e8-2296-4543-979f-1b449d76a5c4 · outbound

This paper cites Baeten , editor ( year 1990 ): title Applications of Process Algebra.

Ensuring Liveness Properties of Distributed Systems: Open Problems Baeten , editor ( year 1990 ): title Applications of Process Algebra

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.356329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36b164c8-7bbd-4a6e-9e41-990ac2398387 · outbound

This paper cites Baeten , author J.A.

Ensuring Liveness Properties of Distributed Systems: Open Problems Baeten , author J.A

Reference 4

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.577204Z

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 d6dbb8b1-1c67-4944-bf35-70e22d30e56e · outbound

This paper cites Baeten , author T.

Ensuring Liveness Properties of Distributed Systems: Open Problems Baeten , author T

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.365516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d70a9aa-8fd6-470b-a2fa-a2fe247b705f · outbound

This paper cites Buti , author M.

Ensuring Liveness Properties of Distributed Systems: Open Problems Buti , author M

Reference 6

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.565006Z

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 9f50b3fa-77d2-459e-9460-d9638bb07217 · outbound

This paper cites Boudol , author I.

Ensuring Liveness Properties of Distributed Systems: Open Problems Boudol , author I

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.374153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4971c4e5-ce82-4bfb-b068-51d619ab5220 · outbound

This paper cites Behrmann , author A.

Ensuring Liveness Properties of Distributed Systems: Open Problems Behrmann , author A

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.377828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9765cde8-06ef-4e12-88e4-5fe143d7a46c · outbound

This paper cites Bloom , author W.J.

Ensuring Liveness Properties of Distributed Systems: Open Problems Bloom , author W.J

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.381704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03ed219f-df25-4990-b346-4dc58d111f5a · outbound

This paper cites Bol & author J.F.

Ensuring Liveness Properties of Distributed Systems: Open Problems Bol & author J.F

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.387297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ced3ccab-b561-42c3-8edd-1b9e7afe88a1 · outbound

This paper cites Borgstr \" o m , author R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Borgstr \" o m , author R

Reference 11

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.536825Z

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 ef47df7a-82a3-48ed-8f5a-8313d1794088 · outbound

This paper cites Brookes , author C.A.R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Brookes , author C.A.R

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.395437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3af48ac0-bd21-4d0e-aa9d-f80dda44112f · outbound

This paper cites Bloom , author S.

Ensuring Liveness Properties of Distributed Systems: Open Problems Bloom , author S

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.399384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10432ddf-237a-485d-ad73-d7e2fd3de3e9 · outbound

This paper cites Bengtson , author M.

Ensuring Liveness Properties of Distributed Systems: Open Problems Bengtson , author M

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.404172Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73e2d3cb-b7f1-458a-8e2b-ea9fafed5b6d · outbound

This paper cites Bergstra & author J.W.

Ensuring Liveness Properties of Distributed Systems: Open Problems Bergstra & author J.W

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.408478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e176aa7-7ef3-4a5f-94f7-7da763999019 · outbound

This paper cites Bergstra & author J.W.

Ensuring Liveness Properties of Distributed Systems: Open Problems Bergstra & author J.W

Reference 16

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.506304Z

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 2b3004e6-a3ed-4d7d-9c3f-3cdc63eea5cf · outbound

This paper cites Baier & author J.

Ensuring Liveness Properties of Distributed Systems: Open Problems Baier & author J

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.417303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe5e3269-1958-46b4-9a68-129d80ae6637 · outbound

This paper cites Bloom ( year 1995 ): title Structural operational semantics for weak bisimulations.

Ensuring Liveness Properties of Distributed Systems: Open Problems Bloom ( year 1995 ): title Structural operational semantics for weak bisimulations

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.421908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdb79ff4-b5a0-4dcf-85d2-db1d05a3facf · outbound

This paper cites Boudol ( year 1985 ): title Notes on algebraic calculi of processes.

Ensuring Liveness Properties of Distributed Systems: Open Problems Boudol ( year 1985 ): title Notes on algebraic calculi of processes

Reference 19

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.485632Z

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 dddf2662-e17e-4861-bdcc-dd4a41c246c1 · outbound

This paper cites Brinksma , author A.

Ensuring Liveness Properties of Distributed Systems: Open Problems Brinksma , author A

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.429625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbceb8f0-9d56-4003-9587-49d32e0ad9d6 · outbound

This paper cites Brinksma , author A.

Ensuring Liveness Properties of Distributed Systems: Open Problems Brinksma , author A

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.433480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c654c65f-2c28-4c9f-a8c8-e8adecfd02c9 · outbound

This paper cites Bartlett , author R.A.

Ensuring Liveness Properties of Distributed Systems: Open Problems Bartlett , author R.A

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.437129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45b427fe-3c9d-4b1e-a710-68cf683a0098 · outbound

This paper cites Baeten & author W.P.

Ensuring Liveness Properties of Distributed Systems: Open Problems Baeten & author W.P

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.440753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc8b7bc0-6ca1-4f14-82dc-c4405e744db4 · outbound

This paper cites Corradini , author M.R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Corradini , author M.R

Reference 24

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.455087Z

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 279e74bf-2024-4485-b39a-59afff854e47 · outbound

This paper cites Corradini , author M.R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Corradini , author M.R

Reference 25

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.443402Z

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 dd96a656-a918-4929-93df-ae17d423d907 · outbound

This paper cites Corradini , author M.R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Corradini , author M.R

Reference 26

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.429850Z

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 edea7037-60c9-492c-ba63-feffcea77c96 · outbound

This paper cites Corradini , author M.R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Corradini , author M.R

Reference 27

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.415206Z

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 88285c8d-3dad-4555-a1ff-13802c45d57a · outbound

This paper cites Cleaveland , author G.

Ensuring Liveness Properties of Distributed Systems: Open Problems Cleaveland , author G

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.462874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8362c61-c6f7-42f0-b2cb-4dd99f151236 · outbound

This paper cites Costa & author C.

Ensuring Liveness Properties of Distributed Systems: Open Problems Costa & author C

Reference 29

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.393238Z

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 614b2c12-a19a-4958-a88c-9c09fc4656ad · outbound

This paper cites Costa & author C.

Ensuring Liveness Properties of Distributed Systems: Open Problems Costa & author C

Reference 30

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.378141Z

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 d62f9167-54c7-415b-b4fe-5bef62545770 · outbound

This paper cites Cleaveland & author O.

Ensuring Liveness Properties of Distributed Systems: Open Problems Cleaveland & author O

Reference 31

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.365597Z

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 faf2f639-0b11-46ed-9796-794f800bf59c · outbound

This paper cites Dyseryn , author R.J.

Ensuring Liveness Properties of Distributed Systems: Open Problems Dyseryn , author R.J

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.479403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 450492c4-0abc-479c-9caa-e5adcb83916d · outbound

This paper cites Deng , author R.J.

Ensuring Liveness Properties of Distributed Systems: Open Problems Deng , author R.J

Reference 33

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.344326Z

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 5e5f9720-c767-4fa1-89c7-72c4b1360c89 · outbound

This paper cites De Nicola & author M.

Ensuring Liveness Properties of Distributed Systems: Open Problems De Nicola & author M

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.487571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b80ea998-f7e6-4a18-be28-fcba46112119 · outbound

This paper cites Emerson & author E.M.

Ensuring Liveness Properties of Distributed Systems: Open Problems Emerson & author E.M

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.492047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 508f2dbc-07a4-46df-95cf-4ac9000e64cb · outbound

This paper cites Fehnker , author R.J.

Ensuring Liveness Properties of Distributed Systems: Open Problems Fehnker , author R.J

Reference 36

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.314928Z

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 06baebcc-87ad-4783-bd3f-731c23c18855 · outbound

This paper cites A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.

Ensuring Liveness Properties of Distributed Systems: Open Problems A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.501682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 424cb227-6a60-4229-9418-81a6f8e3622f · outbound

This paper cites Fokkink , author R.J.

Ensuring Liveness Properties of Distributed Systems: Open Problems Fokkink , author R.J

Reference 38

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.301516Z

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 f26c6101-2ba0-4696-8397-b469971fd1ab · outbound

This paper cites Fokkink ( year 2000 ): title Introduction to Process Algebra.

Ensuring Liveness Properties of Distributed Systems: Open Problems Fokkink ( year 2000 ): title Introduction to Process Algebra

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.510526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5be00079-34b8-4e08-b8b2-dcf7c1f25e32 · outbound

This paper cites Fokkink ( year 2000 ): title Rooted branching bisimulation as a congruence.

Ensuring Liveness Properties of Distributed Systems: Open Problems Fokkink ( year 2000 ): title Rooted branching bisimulation as a congruence

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.514725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70441409-dcb2-4b34-baa4-3129486d66e9 · outbound

This paper cites Gibson - Robinson , author P.J.

Ensuring Liveness Properties of Distributed Systems: Open Problems Gibson - Robinson , author P.J

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.519943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8da46b96-25b2-4802-a8e2-8799918a860b · outbound

This paper cites van Glabbeek & author U.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek & author U

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.524342Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81327933-2081-4007-967e-439d1830c662 · outbound

This paper cites van Glabbeek , author U.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek , author U

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.528821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d81db89-5dd6-4384-9e5b-fc4cf8ef695b · outbound

This paper cites van Glabbeek & author P.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek & author P

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.533331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9e623c9-404c-48a9-90a7-0e7f446ce887 · outbound

This paper cites Progress, Fairness and Justness in Process Algebra.

Ensuring Liveness Properties of Distributed Systems: Open Problems Progress, Fairness and Justness in Process Algebra

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.538232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe510ff0-8fa6-4ae5-9b8d-5c101bf9ebb8 · outbound

This paper cites Progress, Justness and Fairness.

Ensuring Liveness Properties of Distributed Systems: Open Problems Progress, Justness and Fairness

Reference 46

Resolution: metadata mismatch; local_arxiv, observed 2026-08-14T15:25:54.277003Z

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 e97c3d3f-b4ae-4fc6-be12-acf118e74a53 · outbound

This paper cites van Glabbeek ( year 1991 ): title Bisimulations for higher dimensional automata.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 1991 ): title Bisimulations for higher dimensional automata

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.547459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a27e3d23-8930-4cb9-ba4e-05aa36e5b877 · outbound

This paper cites van Glabbeek ( year 1993 ): title The Linear Time -- Branching Time Spectrum II ; The semantics of sequential systems with silent moves (extended abstract).

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 1993 ): title The Linear Time -- Branching Time Spectrum II ; The semantics of sequential systems with silent moves (extended abstract)

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.551600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03538b4f-9df2-4078-9828-c72048fe4c80 · outbound

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

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 1994 ): title On the expressiveness of ACP (extended abstract)

Reference 49

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.241920Z

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 93f8cf0d-f5e7-4822-8ad6-e42717a455a8 · outbound

This paper cites van Glabbeek ( year 2001 ): title The Linear Time -- Branching Time Spectrum I ; The Semantics of Concrete, Sequential Processes.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2001 ): title The Linear Time -- Branching Time Spectrum I ; The Semantics of Concrete, Sequential Processes

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.560648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb36e9aa-63e7-43d6-af96-7c2c6ce4a82b · outbound

This paper cites van Glabbeek ( year 2010 ): title The Coarsest Precongruences Respecting Safety and Liveness Properties.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2010 ): title The Coarsest Precongruences Respecting Safety and Liveness Properties

Reference 51

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.219462Z

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 ee0ed9af-30f8-4eba-a926-515057584f5c · outbound

This paper cites van Glabbeek ( year 2011 ): title Bisimulation.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2011 ): title Bisimulation

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.569962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c76a41b5-717f-49ca-a0d8-cb5ac537cab0 · outbound

This paper cites van Glabbeek ( year 2011 ): title On Cool Congruence Formats for Weak Bisimulations.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2011 ): title On Cool Congruence Formats for Weak Bisimulations

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.574737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a15da525-4e2f-4c95-83e0-0f7486eefd1d · outbound

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

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2012 ): title Musings on Encodings and Expressiveness

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.579543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3ff01c5-5e03-40d2-8fdd-7e44b8ea863e · outbound

This paper cites van Glabbeek ( year 2015 ): title Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2015 ): title Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

Reference 55

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.181407Z

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 02d72ddb-6af1-46f8-b1a4-bd6309182c10 · outbound

This paper cites van Glabbeek ( year 2017 ): title Lean and Full Congruence Formats for Recursion.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2017 ): title Lean and Full Congruence Formats for Recursion

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.589554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 756b4bab-0edb-400d-aed7-68565fc00c0e · outbound

This paper cites van Glabbeek ( year 2019 ): title Justness: A Completeness Criterion for Capturing Liveness Properties.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2019 ): title Justness: A Completeness Criterion for Capturing Liveness Properties

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.594295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22b00a59-bf8f-43b7-be74-1c0fdbb990e0 · outbound

This paper cites van Glabbeek ( year 2019 ): title Reward Testing Equivalences for Processes.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek ( year 2019 ): title Reward Testing Equivalences for Processes

Reference 58

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.160079Z

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 0afbf501-7b5d-4dd6-a0c7-ec9d873097a7 · outbound

This paper cites Garavel , author F.

Ensuring Liveness Properties of Distributed Systems: Open Problems Garavel , author F

Reference 59

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.147000Z

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 55ca06c9-dcd7-487c-bbe9-cb33734d4435 · outbound

This paper cites van Glabbeek , author B.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek , author B

Reference 60

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.134372Z

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 0244a4d2-2901-4da1-9847-6cb935def4ee · outbound

This paper cites Goltz & author A.

Ensuring Liveness Properties of Distributed Systems: Open Problems Goltz & author A

Reference 61

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.121519Z

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 4b65880e-fdd5-4a94-9211-b3287743edaf · outbound

This paper cites Groote & author M.R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Groote & author M.R

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.615187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 923647d8-6a96-4814-96d2-77fa87dafa25 · outbound

This paper cites Groote , author M.R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Groote , author M.R

Reference 63

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.105837Z

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 fba04f69-e9a2-4bb4-a805-ce061d452b6c · outbound

This paper cites Gorla ( year 2010 ): title Towards a unified approach to encodability and separation results for process calculi.

Ensuring Liveness Properties of Distributed Systems: Open Problems Gorla ( year 2010 ): title Towards a unified approach to encodability and separation results for process calculi

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.624672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e330a98-f721-4c75-bab4-fc11628e36a2 · outbound

This paper cites Groote ( year 1993 ): title Transition System Specifications with Negative Premises.

Ensuring Liveness Properties of Distributed Systems: Open Problems Groote ( year 1993 ): title Transition System Specifications with Negative Premises

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.628771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2473a91f-911a-4176-b3e5-ab45a924b00b · outbound

This paper cites van Glabbeek & author F.W.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek & author F.W

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.633017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32c84ed5-26c1-4ad9-be76-9e2eaed8d3e4 · outbound

This paper cites Groote & author F.W.

Ensuring Liveness Properties of Distributed Systems: Open Problems Groote & author F.W

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.636757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7b1895c-7059-4b54-a233-7698ffa899b7 · outbound

This paper cites van Glabbeek & author F.W.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek & author F.W

Reference 68

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.061237Z

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 aded96cf-6445-4a85-9e03-9a45db4806af · outbound

This paper cites van Glabbeek & author W.P.

Ensuring Liveness Properties of Distributed Systems: Open Problems van Glabbeek & author W.P

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.646026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af5b949a-ad90-4d5a-981c-e406980d27da · outbound

This paper cites Hoare ( year 1985 ): title Communicating S equential P rocesses.

Ensuring Liveness Properties of Distributed Systems: Open Problems Hoare ( year 1985 ): title Communicating S equential P rocesses

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.650674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9302bd6-783a-4dfb-8791-4f00087b7b83 · outbound

This paper cites Holzmann ( year 2004 ): title The SPIN Model Checker - primer and reference manual.

Ensuring Liveness Properties of Distributed Systems: Open Problems Holzmann ( year 2004 ): title The SPIN Model Checker - primer and reference manual

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.654567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f25097b0-17e1-4a93-aae5-dcecac5cf0c5 · outbound

This paper cites Henzinger & author S.K.

Ensuring Liveness Properties of Distributed Systems: Open Problems Henzinger & author S.K

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.658764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f9edc3f-6f4f-47e7-a50b-7859e05551ad · outbound

This paper cites Kant , author A.

Ensuring Liveness Properties of Distributed Systems: Open Problems Kant , author A

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.663438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f50c2b7a-3267-42fa-bac7-78bdca15cf3f · outbound

This paper cites Kwiatkowska , author G.

Ensuring Liveness Properties of Distributed Systems: Open Problems Kwiatkowska , author G

Reference 74

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T15:25:54.031102Z

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 ea6e31aa-26f7-4349-b8b8-172ba52df857 · outbound

This paper cites Kuiper & author W.-P.

Ensuring Liveness Properties of Distributed Systems: Open Problems Kuiper & author W.-P

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.672277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da7fca0d-8449-4140-9830-4a2016c2223f · outbound

This paper cites Kindler & author R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Kindler & author R

Reference 76

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.033089Z

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 c65983f6-1815-4b69-bd55-be88b8c4fcd1 · outbound

This paper cites Lamport ( year 1977 ): title Proving the correctness of multiprocess programs.

Ensuring Liveness Properties of Distributed Systems: Open Problems Lamport ( year 1977 ): title Proving the correctness of multiprocess programs

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.681103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ee59106-e32e-47ca-a907-f7d43052d851 · outbound

This paper cites Lamport ( year 2002 ): title Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers.

Ensuring Liveness Properties of Distributed Systems: Open Problems Lamport ( year 2002 ): title Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.685202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f508d43b-6e9e-4700-8977-a19cb3ff72ec · outbound

This paper cites Lehmann , author A.

Ensuring Liveness Properties of Distributed Systems: Open Problems Lehmann , author A

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.689195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7604b1aa-3ba2-4ac9-b4a6-c583a0f04bdb · outbound

This paper cites Lynch ( year 1968 ): title Reliable full-duplex file transmission over half-duplex telephone line.

Ensuring Liveness Properties of Distributed Systems: Open Problems Lynch ( year 1968 ): title Reliable full-duplex file transmission over half-duplex telephone line

Reference 80

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T15:25:53.891396Z

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 081c766d-7062-4e5f-9052-5a294f5d9a67 · outbound

This paper cites Lynch ( year 1996 ): title Distributed Algorithms.

Ensuring Liveness Properties of Distributed Systems: Open Problems Lynch ( year 1996 ): title Distributed Algorithms

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.696837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 025eb591-3d54-4601-994c-28078acbc807 · outbound

This paper cites Milner ( year 1989 ): title Communication and concurrency.

Ensuring Liveness Properties of Distributed Systems: Open Problems Milner ( year 1989 ): title Communication and concurrency

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.701449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 299fec2f-eccb-4cd1-a731-39a858583422 · outbound

This paper cites Milner ( year 1999 ): title Communicating and mobile systems - the Pi-calculus.

Ensuring Liveness Properties of Distributed Systems: Open Problems Milner ( year 1999 ): title Communicating and mobile systems - the Pi-calculus

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.705911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2fac897-cef1-4755-a683-f01400e009db · outbound

This paper cites McIver & author C.

Ensuring Liveness Properties of Distributed Systems: Open Problems McIver & author C

Reference 84

Resolution: verified exact; doi, observed 2026-08-14T15:25:53.014008Z

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 ab242dc6-f2f7-4293-9bbf-4531c4d534bf · outbound

This paper cites Mazurkiewicz , author E.

Ensuring Liveness Properties of Distributed Systems: Open Problems Mazurkiewicz , author E

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.713611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d69985f-fa0a-403b-8a77-8ee8aa4fa8e1 · outbound

This paper cites Morgan ( year 1994 ): title Programming from specifications , edition 2nd edition.

Ensuring Liveness Properties of Distributed Systems: Open Problems Morgan ( year 1994 ): title Programming from specifications , edition 2nd edition

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.717458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d33e534b-cfc7-49ab-bc85-e8f1dc1ee92a · outbound

This paper cites Natarajan & author R.

Ensuring Liveness Properties of Distributed Systems: Open Problems Natarajan & author R

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.721469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10401f23-6df4-4fcc-a937-a8767fc184ac · outbound

This paper cites Olderog ( year 1991 ): title Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship.

Ensuring Liveness Properties of Distributed Systems: Open Problems Olderog ( year 1991 ): title Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Reference 88

Resolution: verified exact; doi, observed 2026-08-14T15:25:52.984251Z

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 d7d2c165-0a2d-41b3-a34e-da92527ef83f · outbound

This paper cites Perkins , author E.M.

Ensuring Liveness Properties of Distributed Systems: Open Problems Perkins , author E.M

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.729156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a9dd042-e8f9-47cd-bdcc-b994f8b1b3dd · outbound

This paper cites Pnueli ( year 1977 ): title The Temporal Logic of Programs.

Ensuring Liveness Properties of Distributed Systems: Open Problems Pnueli ( year 1977 ): title The Temporal Logic of Programs

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.733126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bc3c033-8e48-4850-b7d0-51b57c769ac5 · outbound

This paper cites Pratt ( year 1991 ): title Modeling Concurrency with Geometry.

Ensuring Liveness Properties of Distributed Systems: Open Problems Pratt ( year 1991 ): title Modeling Concurrency with Geometry

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.737100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ac70d69-fc10-42cd-b739-6a11cb457cbf · outbound

This paper cites Reisig ( year 2013 ): title Understanding Petri Nets --- Modeling Techniques, Analysis Methods, Case Studies.

Ensuring Liveness Properties of Distributed Systems: Open Problems Reisig ( year 2013 ): title Understanding Petri Nets --- Modeling Techniques, Analysis Methods, Case Studies

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.741597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65089b1b-2492-4a41-8001-a1cebaf7382a · outbound

This paper cites Roscoe ( year 1997 ): title The Theory and Practice of Concurrency.

Ensuring Liveness Properties of Distributed Systems: Open Problems Roscoe ( year 1997 ): title The Theory and Practice of Concurrency

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.746330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 592ab52c-71cb-4537-8a5b-7832823a8c19 · outbound

This paper cites Segala ( year 1996 ): title Testing Probabilistic Automata.

Ensuring Liveness Properties of Distributed Systems: Open Problems Segala ( year 1996 ): title Testing Probabilistic Automata

Reference 94

Resolution: verified exact; doi, observed 2026-08-14T15:25:52.953559Z

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 a998dc93-41e9-4c99-a24d-cca1209b6eb2 · outbound

This paper cites de Simone ( year 1985 ): title Higher-level synchronising devices in Meije -SCCS.

Ensuring Liveness Properties of Distributed Systems: Open Problems de Simone ( year 1985 ): title Higher-level synchronising devices in Meije -SCCS

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.754666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89683ab7-fbee-4429-b958-aafc28ecd7a9 · outbound

This paper cites Sangiorgi & author D.

Ensuring Liveness Properties of Distributed Systems: Open Problems Sangiorgi & author D

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-14T15:25:52.758778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08d68b70-b0a3-4b41-8c12-2222cd9a10d7 · outbound

This paper cites Ulidowski ( year 1992 ): title Equivalences on Observable Processes.

Ensuring Liveness Properties of Distributed Systems: Open Problems Ulidowski ( year 1992 ): title Equivalences on Observable Processes

Reference 97

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T15:25:53.749577Z

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 a0bc4f8f-bea3-4a08-80f9-6a6e09b1dc9d · outbound

This paper cites Ulidowski ( year 2000 ): title Finite axiom systems for testing preorder and De Simone process languages.

Ensuring Liveness Properties of Distributed Systems: Open Problems Ulidowski ( year 2000 ): title Finite axiom systems for testing preorder and De Simone process languages

Reference 98

Resolution: verified exact; doi, observed 2026-08-14T15:25:52.932009Z

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 3974b7d4-bf12-4652-8925-521ab25a984f · outbound

This paper cites Ulidowski & author I.C.C.

Ensuring Liveness Properties of Distributed Systems: Open Problems Ulidowski & author I.C.C

Reference 99

Resolution: verified exact; raw_fallback, observed 2026-08-14T15:25:53.666402Z

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 f73a6daa-7e41-473d-8e72-1f9bca1a4465 · outbound

This paper cites Ulidowski & author S.

Ensuring Liveness Properties of Distributed Systems: Open Problems Ulidowski & author S

Reference 100

Resolution: verified exact; doi, observed 2026-08-14T15:25:52.919043Z

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.

Coverage vector

Reference resolution

Outbound references

Pith citing papers